Statue of Aristotle at the Aristotle University of Thessaloniki, Greece
|
|
- Posy Gilbert
- 5 years ago
- Views:
Transcription
1 Statue of Aristotle at the Aristotle University of Thessaloniki, Greece
2 Is the amalgamation property for L ω1,ω-sentences absolute for transitive models of ZFC? Logic Seminar - UIC Ioannis (Yiannis) Souldatos
3 L ω 1,ω Spectra Main Questions This is joint work with D. Sinapova and joint work with D. Milovich.
4 L ω 1,ω Spectra Main Questions Preliminaries Denition L ω1,ω = rst-order formulas + n ω φ n + n ω φ n L ω1,ω satises the Downward Lowenheim-Skolem Theorem, but fails the Upward Lowenheim-Skolem.
5 L ω 1,ω Spectra Main Questions Spectra Denition For an L ω1,ω-sentence φ, dene the properties Model-existence at κ (ME(κ) for short) for φ has a model of size κ Amalgamation at κ (AP(κ) for short) for ME(κ) + the models of φ of size κ satisfy amalgamation The model existence spectrum of φ, ME-Spec(φ) = {κ ME(κ)} The amalgamation spectrum of φ, AP-Spec(φ) = {κ AP(κ)}
6 L ω 1,ω Spectra Main Questions Very Important Remark The amalgamation notion is not unique. One needs to specify the embedding relation. For the rest of the talk we assume that the embedding relation satises the following axioms (for an Abstract Elementary Class)
7 L ω 1,ω Spectra Main Questions Assume A, B, C are models of some φ. 1 A B implies A B; 2 is reexive and transitive; 3 If A i i κ is an increasing - chain, then (i) i I Ai is a model of φ; (ii) for each i I, Ai (iii) if for each i I, Ai i I ; and Ai M, then i I M. Ai 4 If A B, B C and A B, then A B. 5 There is a Lowenheim-Skolem number LS such that if A B and B satises φ, then there is some A which satises φ, A A B, and A A + LS.
8 L ω 1,ω Spectra Main Questions Main Questions 1 What is known for the model existence and amalgamation spectra of L ω1,ω-sentences? 2 What is absolute (for transitive models of ZFC)?
9 Clusters Absoluteness Observation By Downward Lowenheim-Skolem, ME-Spec(φ) is downward closed. So, either ME-Spec(φ)=[ℵ 0, ℵ α ] (right-closed spectrum) or ME-Spec(φ)=[ℵ 0, ℵ α ) (right-open spectrum) Denition If ME-Spec(φ)=[ℵ 0, ℵ α ], then φ characterizes ℵ α.
10 Clusters Absoluteness Hanf Number Theorem (Morley, López-Escobar) The Hanf number for model-existence of L ω1,ω sentences is ℶ ω1. So, if φ has models of size ℶ ω1, then φ has models in all cardinalities. Corollary If ℵ α is characterized by an L ω1,ω-sentence, then ℵ α < ℶ ω1.
11 Clusters Absoluteness Alephs Theorem (Hjorth) For every α < ω 1, there exists an L ω1,ω-sentence φ α that characterizes ℵ α. Hjorth's theorem generalizes to Theorem Assume ℵ β is characterized by φ β. Then for every α < ω 1, there exists an L ω1,ω-sentence φ β α that characterizes ℵ β+α.
12 Clusters Absoluteness ℵ 0 clusters of characterizable cardinals of length ω 1... ℵ ω1 ℶ ω1
13 Clusters Absoluteness ℵ 0 clusters of characterizable cardinals of length ω 1... ℵ ω1 ℶ ω1 Under GCH there is only one cluster.
14 Clusters Absoluteness ℵ 0 clusters of characterizable cardinals of length ω 1... ℵ ω1 ℶ ω1 Under GCH there is only one cluster. Under GCH, it is consistent that there exist non-characterizable cardinals below ℶ ω1.
15 Clusters Absoluteness Absoluteness Question What is absolute? Hjorth's theorem is in ZFC. By Shoeneld's absoluteness, model-existence in ℵ 0 is absolute.
16 Clusters Absoluteness Theorem (Grossberg-Shelah) The property that an L ω1,ω-sentence has arbitrarily large models is absolute. Corollary Model-existence in any power ℶ ω1 is absolute.
17 Clusters Absoluteness Theorem (S.Friedman, Hyttinen, Koerwien) 1 Model-existence in ℵ 1 is absolute. 2 Model-existence in ℵ α, 1 < α, is not absolute. In order to prove (2), consider the sentence that describes a binary tree of height ω. It has models of size up to 2 ℵ 0. Manipulating the size of 2 ℵ 0 in various models of ZFC, we prove non-absoluteness of model-existence in ℵ α. Question What happens if we assume GCH?
18 Clusters Absoluteness Theorem (S.Friedman, Hyttinen, Koerwien) Assuming the existence of uncountably many inaccessible cardinals, model-existence in ℵ α+2, α < ω 1, is not absolute for models of ZFC+GCH. Proof (sketch) There exists some L ω1,ω-sentence φ α+2 that has a model of size ℵ α+2 i there is an ℵ α+1 -Kurepa tree. Collapsing the inaccessibles destroys all Kurepa trees, while maintaining GCH.
19 Clusters Absoluteness Theorem (S.Friedman, Hyttinen, Koerwien) Let α < ω 1 be a limit ordinal. Assuming the existence of a supercompact cardinal, model-existence in ℵ α+1 is not absolute for models of ZFC+GCH. Let α < ω 1 be a limit ordinal greater than ω. Assuming the existence of a supercompact cardinal, model-existence in ℵ α is not absolute for models of ZFC+GCH. Proof (sketch) There exists some L ω1,ω-sentence φ α+1 that has a model of size ℵ α+1 i there is a special ℵ α+1 -Aronszajn tree. Assuming a supercompact cardinal, there is a forcing extension in which GCH is true, but there are no special ℵ α+1 -Aronszajn trees.
20 Clusters Absoluteness The previous theorem leaves the question for ℵ ω open. Theorem (D. Milovich,S.) Model-existence in ℵ ω is not absolute for models of ZFC+GCH The idea is to use coherent special Aronszajn trees.
21 Model Existence Amalgamation Denition A κ-aronszajn tree is a κ-tree with no branch of length κ. A κ + -tree is special if it is the union of κ-many of its antichains. = means equality of sets modulo a nite set. A tree of functions is coherent if for every s, t with dom(s) = dom(t), s = t.
22 Model Existence Amalgamation It follows from the denition that a coherent tree can not contain a copy of 2 ω. Theorem (Konig) If λ holds, then there is a coherent special λ + -Aronszajn tree. Theorem (Todor evi ) After Levy collapsing a Mahlo to ω 2, every special ℵ 2 -Aronszajn tree contains a copy of 2 <ω 1.
23 Model Existence Amalgamation A drawback in working with L ω1,ω is that we can not characterize well-orderings. So, instead of working with (well-founded) trees, we have to work with pseudo-trees. Denition A pseudotree is a partial ordered set T such that each set of the form x = {y y < T x} is linearly ordered.
24 Model Existence Amalgamation Theorem (Milovich, S.) Given 1 α < ω 1, there is an L ω1,ω-sentence φ α satisfying the following. 1 There is no model of φ α of size greater than ℵ α. 2 If there is a coherent special ℵ β -Aronszajn tree for each β < α, then φ α has a model of size ℵ α. 3 If φ α has a model of size ℵ 2, then there is a coherent pseudotree T with conality ω 2 and an order embedding of a special ℵ 2 -Aronszajn tree into T.
25 Model Existence Amalgamation Corollary Let 2 α < ω 1. Corollary In L, the sentence φ α characterizes ℵ α. After collapsing a Mahlo to ω, φ α has no model of size ℵ 2. Assuming a Mahlo cardinal, model-existence in ℵ α, 2 α < ω 1, is not absolute for models of ZFC+GCH. This not only answers the open question for α = ω, but it also improves the large cardinal requirement from a supercompact to a Mahlo.
26 Model Existence Amalgamation Amalgamation Consider the collection of all models of φ α with the substructure relation. Theorem (Milovich, S.) Assume 2 α < ω. If there are models of φ α of size ℵ α, then AP-Spec(φ α ) = {ℵ α }. Otherwise AP-Spec(φ α ) is empty. Corollary The following statements are not absolute for transitive models of ZFC+GCH. (a) The amalgamation spectrum of an L ω1,ω-sentence is empty. (b) For nite n 2 and φ an L ω1,ω-sentence, ℵ n AP-Spec(φ).
27 Model Existence Amalgamation Remark The above examples can not be used to resolve the absoluteness question of ℵ α -amalgamation, for ω α < ω 1. The reason is the following lemma. Lemma Assume ω α < ω 1. The amalgamation spectrum of φ α is empty. The question for ℵ 1 -amalgamation remains open. Conjecture If φ is an L ω1,ω-sentence and F is the fragment generated by φ, then ℵ 1 -amalgamation under F is absolute for transitive models of ZFC.
28 Closure Properties Consistency Results Closure Properties Theorem The set of cardinals characterized by L ω1,ω-sentences is closed under 1 successor; 2 countable unions; 3 countable products; 4 powerset. Many of the results are true even for the set of cardinals characterized by complete L ω1,ω-sentences.
29 Closure Properties Consistency Results Let C be the least set of cardinals that contains ℵ 0 and is closed under (1)-(4), e.g. successor, countable unions, countable products, and powerset. Theorem (S.) C is also closed for powers Question (S.) Does C contain all characterizable cardinals? Consistently yes, e.g. under GCH. Theorem (Sinapova,S.) Consistently no.
30 Closure Properties Consistency Results There exists an L ω1,ω-sentence φ that characterizes the maximum of 2 ℵ 0 and B. B = sup{κ there exists a Kurepa tree withκ many branches}. Reminder: A Kurepa tree has height ω 1, countable levels and more than ℵ 1 many branches. So, ℵ 1 < B 2 ℵ 1.
31 Closure Properties Consistency Results Manipulating the size of Kurepa trees we can produce a variety of consistency result. Theorem (Sinapova, S.) If ZFC is consistent, then so are the following: ZFC+ (ℵ ω1 = B < 2 ℵ 0 ) ZFC+ (2 ℵ 0 < ℵ ω1 = B < 2 ℵ 1 ) +B is a maximum, i.e. there exists a Kurepa tree of size ℵ ω1. Assuming the consistency of ZFC+a Mahlo exists, then the following is also consistent: ZFC+ (2 ℵ 0 < B = 2 ℵ 1 ) + 2 ℵ 1 is weakly inaccessible + for every κ < 2 ℵ 1 there is a Kurepa tree with exactly κ-many maximal branches, but no Kurepa tree has exactly 2 ℵ 1 -many branches.
32 Closure Properties Consistency Results Reminder: A cardinal λ is weakly inaccessible if it is a regular limit, i.e. λ = ℵ λ. Corollary There is an L ω1,ω-sentence φ for which it is consistent that ME-Spec(φ) = [ℵ 0, 2 ℵ 0 ]; CH (or CH ) + 2 ℵ 1 is a regular cardinal greater than ℵ 2 + ME-Spec(φ) = [ℵ 0, 2 ℵ 1 ]; 2 ℵ 0 < ℵ ω1 + ME-Spec(φ) = [ℵ 0, ℵ ω1 ]; and 2 ℵ 0 < 2 ℵ ℵ 1 is weakly inaccessible + ME-Spec(φ) = [ℵ 0, 2 ℵ 1 ).
33 Closure Properties Consistency Results Remarks 1 Although the characterization of 2 ℵ 0 and 2 ℵ 1 was known before, this is the rst example that can consistently characterize either. 2 If 2 ℵ 0 = ℵ ω1, then ℵ ω1 is characterizable. This is the rst example that consistently with 2 ℵ 0 < ℵ ω1 characterizes ℵ ω1. Moreover, the proof works for many other cardinals besides ℵ ω1. 3 If κ = sup n ω κ n and φ n characterizes κ n, then n φ n has spectrum [ℵ 0, κ). All previous examples of sentences with right-open spectra where of the form n φ n. This is the rst example of a sentence with a right-open spectrum where the right endpoint has uncountable conality (indeed it is a regular cardinal).
34 Closure Properties Consistency Results Recall that C is the least set that contains ℵ 0 and is closed under successor, countable unions, countable products, and powerset. Corollary If ZFC is consistent then so is ZFC+ (2 ℵ 0 < ℵ ω1 = B < 2 ℵ 1 ) + B is not in the set C described above. This refuted a minimalist view of characterizable cardinals.
35 First Examples Hanf Number Remarks Unlike model-existence, amalgamation spectra are not downwards closed. However, most of the known examples are either initial or co-initial segments of the model-existence spectra. We lack theorems of the form If X is an amalgamation spectrum, then Y(X) is also an amalgamation spectrum.
36 First Examples Hanf Number The rst example of an amalgamation spectrum that is not an interval is the following: Theorem (J. Baldwin, M. Koerwien. C.Laskowski) Let 1 n < ω. There exists an L ω1,ω-sentence φ n with ME-Spec(φ) = [ℵ 0, ℵ n ] and AP-Spec(φ) = [ℵ 0, ℵ n 2] {ℵ n }. The reason that amalgamation holds in ℵ n is that all models are maximal.
37 First Examples Hanf Number The work on Kurepa trees yields the following results for amalgamation: Theorem (Sinapova, S.) There is an L ω1,ω-sentence φ for which it is consistent that AP-Spec(φ) = [ℵ 1, 2 ℵ 0 ]; CH (or CH ) + 2 ℵ 1 is a regular cardinal greater than ℵ 2 + AP-Spec(φ) = [ℵ 1, 2 ℵ 1 ]; 2 ℵ 0 < ℵ ω1 + AP-Spec(φ) = [ℵ 1, ℵ ω1 ]; and 2 ℵ 0 < 2 ℵ ℵ 1 is weakly inaccessible + AP-Spec(φ) = [ℵ 1, 2 ℵ 1 ).
38 First Examples Hanf Number Theorem (J. Baldwin, W. Boney) Let φ be an L ω1,ω-sentence, κ a strongly compact cardinal. If AP-Spec(φ) contains a conal subset of κ, then AP-Spec(φ) contains [κ, ). So, the rst strongly compact is greater or equal to the Hanf number for amalgamation (this needs to be dened precisely).
39 First Examples Hanf Number Open Questions Is it consistent that for an L ω1,ω-sentence φ, AP-Spec(φ) is a conal subset of the rst measurable? Is ℵ 1 -amalgamation absolute? Is it consistent that for an L ω1,ω-sentence φ, AP-Spec(φ) equals [ℵ 0, ℵ ω1 ) (right-open)?
40 First Examples Hanf Number References Thank you! Copy of these slides can be found at Questions?
1. Introduction Definition 1.1. For an L ω1,ω-sentence φ, the spectrum of φ is the set
KUREPA TREES AND SPECTRA OF L ω1,ω-sentences DIMA SINAPOVA AND IOANNIS SOULDATOS Abstract. We construct a single L ω1,ω-sentence ψ that codes Kurepa trees to prove the consistency of the following: (1)
More informationMarch 3, The large and small in model theory: What are the amalgamation spectra of. infinitary classes? John T. Baldwin
large and large and March 3, 2015 Characterizing cardinals by L ω1,ω large and L ω1,ω satisfies downward Lowenheim Skolem to ℵ 0 for sentences. It does not satisfy upward Lowenheim Skolem. Definition sentence
More informationAMS regional meeting Bloomington, IN April 1, 2017
Joint work with: W. Boney, S. Friedman, C. Laskowski, M. Koerwien, S. Shelah, I. Souldatos University of Illinois at Chicago AMS regional meeting Bloomington, IN April 1, 2017 Cantor s Middle Attic Uncountable
More informationThe Vaught Conjecture Do uncountable models count?
The Vaught Conjecture Do uncountable models count? John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago May 22, 2005 1 Is the Vaught Conjecture model
More informationIndependence in tame abstract elementary classes
Independence in tame abstract elementary classes Sebastien Vasey Carnegie Mellon University January 11, 2015 Joint Mathematics Meeting AMS-ASL Special Session on Beyond First-Order Model Theory San Antonio,
More informationDisjoint n-amalgamation
October 13, 2015 Varieties of background theme: the role of infinitary logic Goals 1 study n- toward 1 existence/ of atomic models in uncountable cardinals. 2 0-1-laws 2 History, aec, and Neo-stability
More informationDoes set theoretic pluralism entail model theoretic pluralism? III. The entanglement of infinitary logic and set theory Aberdeen
Does set theoretic pluralism entail model theoretic pluralism? III. The entanglement of infinitary logic and set theory Aberdeen John T. Baldwin 1 University of Illinois at Chicago July 14, 2016 1 Thanks
More informationThe Rocky Romance of Model Theory and Set Theory University of Helsinki
The Rocky Romance of Model Theory and Set Theory University of Helsinki John T. Baldwin University of Illinois at Chicago June 3, 2016 John T. Baldwin University of Illinois at ChicagoThe Rocky Romance
More informationOctober 12, Complexity and Absoluteness in L ω1,ω. John T. Baldwin. Measuring complexity. Complexity of. concepts. to first order.
October 12, 2010 Sacks Dicta... the central notions of model theory are absolute absoluteness, unlike cardinality, is a logical concept. That is why model theory does not founder on that rock of undecidability,
More informationThe rise and fall of uncountable models
Chris Laskowski University of Maryland 2 nd Vaught s conjecture conference UC-Berkeley 2 June, 2015 Recall: Every counterexample Φ to Vaught s Conjecture is scattered. Recall: Every counterexample Φ to
More informationThe Vaught Conjecture Do uncountable models count?
The Vaught Conjecture Do uncountable models count? John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago February 8, 2006 Abstract We give a model
More informationIntroduction to Model Theory
Introduction to Model Theory Jouko Väänänen 1,2 1 Department of Mathematics and Statistics, University of Helsinki 2 Institute for Logic, Language and Computation, University of Amsterdam Beijing, June
More informationSuccessive cardinals with the tree property
UCLA March 3, 2014 A classical theorem Theorem (König Infinity Lemma) Every infinite finitely branching tree has an infinite path. Definitions A tree is set T together with an ordering < T which is wellfounded,
More informationAlmost Galois ω-stable classes
Almost Galois ω-stable classes John T. Baldwin Paul B. Larson Saharon Shelah March 11, 2015 Abstract Theorem. Suppose that k = (K, k ) is an ℵ 0-presentable abstract elementary class with Löwenheim-Skolem
More informationMULTIPLE CARDINALITIES
COMPLETE L ω1,ω-sentences WITH MAXIMAL MODELS IN MULTIPLE CARDINALITIES JOHN BALDWIN AND IOANNIS SOULDATOS Abstract. In [BKS14] BKSoul examples of incomplete sentences are given with maximal models in
More informationWhat is the right type-space? Humboldt University. July 5, John T. Baldwin. Which Stone Space? July 5, Tameness.
Goals The fundamental notion of a Stone space is delicate for infinitary logic. I will describe several possibilities. There will be a quiz. Infinitary Logic and Omitting Types Key Insight (Chang, Lopez-Escobar)
More informationA NOTE ON THE EIGHTFOLD WAY
A NOTE ON THE EIGHTFOLD WAY THOMAS GILTON AND JOHN KRUEGER Abstract. Assuming the existence of a Mahlo cardinal, we construct a model in which there exists an ω 2 -Aronszajn tree, the ω 1 -approachability
More informationarxiv: v2 [math.lo] 16 Oct 2015
CATEGORICITY AND INFINITARY LOGICS arxiv:1508.03316v2 [math.lo] 16 Oct 2015 WILL BONEY AND SEBASTIEN VASEY Abstract. We point out a gap in Shelah s proof of the following result: Claim 0.1. Let K be an
More informationDisjoint amalgamation in locally finite AEC
Disjoint amalgamation in locally finite AEC John T. Baldwin University of Illinois at Chicago Martin Koerwien KGRC April 20, 2016 Michael C. Laskowski University of Maryland Abstract We introduce the concept
More informationThe Rocky Romance of Model Theory and Set Theory
The Rocky Romance of Model Theory and Set Theory John T. Baldwin University of Illinois at Chicago Eilat meeeting in memory of Mati Rubin May 6, 2018 John T. Baldwin University of Illinois at ChicagoThe
More informationSHELAH S EVENTUAL CATEGORICITY CONJECTURE IN UNIVERSAL CLASSES
SHELAH S EVENTUAL CATEGORICITY CONJECTURE IN UNIVERSAL CLASSES SEBASTIEN VASEY Abstract. We prove Shelah s eventual categoricity conjecture in universal classes: Theorem 0.1. Let K be a universal class.
More informationThe choice of ω 1 and combinatorics at ℵ ω
The choice of ω 1 and combinatorics at ℵ ω Spencer Unger UCLA October 19, 2013 Outline Combinatorial properties Theorems using supercompactness Bringing results down to ℵ ω Some new theorems A sketch of
More informationA NEW LINDELOF SPACE WITH POINTS G δ
A NEW LINDELOF SPACE WITH POINTS G δ ALAN DOW Abstract. We prove that implies there is a zero-dimensional Hausdorff Lindelöf space of cardinality 2 ℵ1 which has points G δ. In addition, this space has
More informationGeneric Absoluteness. Joan Bagaria and Sy D. Friedman. Abstract. However, this is not true for 1 3 predicates. Indeed, if we add a Cohen real
Generic Absoluteness Joan Bagaria and Sy D. Friedman Abstract We explore the consistency strength of 3 and 4 absoluteness, for a variety of forcing notions. Introduction Shoeneld's absoluteness theorem
More informationNon-Elementary Classes 2007
October 7, 2007 Two Directions 1 2 Acknowledgements I will interpret or misinterpret the works of many people with only vague and non-uniform specific acknowledgments. The end or the beginning? Shelah
More informationThe Vaught Conjecture Do uncountable models count?
The Vaught Conjecture Do uncountable models count? John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago July 12, 2006 Abstract We give a model theoretic
More informationMorley s Proof. Winnipeg June 3, 2007
Modern Model Theory Begins Theorem (Morley 1965) If a countable first order theory is categorical in one uncountable cardinal it is categorical in all uncountable cardinals. Outline 1 2 3 SELF-CONSCIOUS
More informationSet Theory and the Foundation of Mathematics. June 19, 2018
1 Set Theory and the Foundation of Mathematics June 19, 2018 Basics Numbers 2 We have: Relations (subsets on their domain) Ordered pairs: The ordered pair x, y is the set {{x, y}, {x}}. Cartesian products
More informationFRAGILITY AND INDESTRUCTIBILITY II
FRAGILITY AND INDESTRUCTIBILITY II SPENCER UNGER Abstract. In this paper we continue work from a previous paper on the fragility and indestructibility of the tree property. We present the following: (1)
More informationTHE STRONG TREE PROPERTY AND THE FAILURE OF SCH
THE STRONG TREE PROPERTY AND THE FAILURE OF SCH JIN DU Abstract. Fontanella [2] showed that if κ n : n < ω is an increasing sequence of supercompacts and ν = sup n κ n, then the strong tree property holds
More informationPart II Logic and Set Theory
Part II Logic and Set Theory Theorems Based on lectures by I. B. Leader Notes taken by Dexter Chua Lent 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationFORCING WITH SEQUENCES OF MODELS OF TWO TYPES
FORCING WITH SEQUENCES OF MODELS OF TWO TYPES ITAY NEEMAN Abstract. We present an approach to forcing with finite sequences of models that uses models of two types. This approach builds on earlier work
More informationA SURVEY ON TAME ABSTRACT ELEMENTARY CLASSES. Contents
A SURVEY ON TAME ABSTRACT ELEMENTARY CLASSES WILL BONEY AND SEBASTIEN VASEY Abstract. We survey recent developments in the study of tame abstract elementary classes. We emphasize the role of abstract independence
More informationComputability theory and uncountable structures
Sets and Computations, April 17 2015 Joint with Greg Igusa, Julia Knight and Antonio Montalbán Table of Contents 1 Generically presentable structures 2 3 1 Generically presentable structures 2 3 What phenomena
More informationON THE STRUCTURE OF CATEGORICAL ABSTRACT ELEMENTARY CLASSES WITH AMALGAMATION
ON THE STRUCTURE OF CATEGORICAL ABSTRACT ELEMENTARY CLASSES WITH AMALGAMATION MONICA M. VANDIEREN AND SEBASTIEN VASEY Abstract. For K an abstract elementary class with amalgamation and no maximal models,
More informationAn inner model from Ω-logic. Daisuke Ikegami
An inner model from Ω-logic Daisuke Ikegami Kobe University 12. November 2014 Goal & Result Goal Construct a model of set theory which is close to HOD, but easier to analyze. Goal & Result Goal Construct
More informationJune 28, 2007, Warsaw
University of Illinois at Chicago June 28, 2007, Warsaw Topics 1 2 3 4 5 6 Two Goals Tell Explore the notion of Class as a way of examining extensions of first order logic Ask Does the work on generalized
More informationInner models from extended logics
1 / 43 Inner models from extended logics Joint work with Juliette Kennedy and Menachem Magidor Department of Mathematics and Statistics, University of Helsinki ILLC, University of Amsterdam January 2017
More informationITERATING ALONG A PRIKRY SEQUENCE
ITERATING ALONG A PRIKRY SEQUENCE SPENCER UNGER Abstract. In this paper we introduce a new method which combines Prikry forcing with an iteration between the Prikry points. Using our method we prove from
More informationDOWNWARD CATEGORICITY FROM A SUCCESSOR INSIDE A GOOD FRAME
DOWNWARD CATEGORICITY FROM A SUCCESSOR INSIDE A GOOD FRAME SEBASTIEN VASEY Abstract. In the setting of abstract elementary classes (AECs) with amalgamation, Shelah has proven a downward categoricity transfer
More informationDiamond, non-saturation, and weak square principles
Diamond, non-saturation, and weak square principles Logic Colloquium 2009 (European ASL summer meeting) 02-Aug-09, Sofia Assaf Rinot Tel-Aviv University http://www.tau.ac.il/ rinot 1 Diamond on successor
More informationMore Model Theory Notes
More Model Theory Notes Miscellaneous information, loosely organized. 1. Kinds of Models A countable homogeneous model M is one such that, for any partial elementary map f : A M with A M finite, and any
More informationMATHEMATICS: CONCEPTS, AND FOUNDATIONS Vol. II - Model Theory - H. Jerome Keisler
ATHEATCS: CONCEPTS, AND FOUNDATONS Vol. - odel Theory - H. Jerome Keisler ODEL THEORY H. Jerome Keisler Department of athematics, University of Wisconsin, adison Wisconsin U.S.A. Keywords: adapted probability
More informationDiamond on successors of singulars
Diamond on successors of singulars ESI workshop on large cardinals and descriptive set theory 18-Jun-09, Vienna Assaf Rinot Tel-Aviv University http://www.tau.ac.il/ rinot 1 Diamond on successor cardinals
More informationBOUNDING THE CONSISTENCY STRENGTH OF A FIVE ELEMENT LINEAR BASIS
BOUNDING THE CONSISTENCY STRENGTH OF A FIVE ELEMENT LINEAR BASIS BERNHARD KÖNIG, PAUL LARSON, JUSTIN TATCH MOORE, AND BOBAN VELIČKOVIĆ Abstract. In [13] it was demonstrated that the Proper Forcing Axiom
More informationPart II. Logic and Set Theory. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 60 Paper 4, Section II 16G State and prove the ǫ-recursion Theorem. [You may assume the Principle of ǫ- Induction.]
More informationDisjoint amalgamation in locally finite AEC
Disjoint amalgamation in locally finite AEC John T. Baldwin University of Illinois at Chicago Martin Koerwien KGRC June 20, 2015 Michael C. Laskowski University of Maryland Abstract We introduce the concept
More informationSingular Failures of GCH and Level by Level Equivalence
Singular Failures of GCH and Level by Level Equivalence Arthur W. Apter Department of Mathematics Baruch College of CUNY New York, New York 10010 USA and The CUNY Graduate Center, Mathematics 365 Fifth
More informationA Hanf number for saturation and omission: the superstable case
A Hanf number for saturation and omission: the superstable case John T. Baldwin University of Illinois at Chicago Saharon Shelah The Hebrew University of Jerusalem Rutgers University April 29, 2013 Abstract
More informationErdös-Rado without choice
Erdös-Rado without choice Thomas Forster Centre for Mathematical Sciences Wilberforce Road Cambridge, CB3 0WB, U.K. March 11, 2007 ABSTRACT A version of the Erdös-Rado theorem on partitions of the unordered
More informationNotes on Quasiminimality and Excellence
Notes on Quasiminimality and Excellence John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago April 7, 2004 Abstract This paper ties together much
More informationGeneralizing Gödel s Constructible Universe:
Generalizing Gödel s Constructible Universe: Ultimate L W. Hugh Woodin Harvard University IMS Graduate Summer School in Logic June 2018 Ordinals: the transfinite numbers is the smallest ordinal: this is
More informationContinuum Harvard. April 11, Constructing Borel Models in the. Continuum Harvard. John T. Baldwin. University of Illinois at Chicago
April 11, 2013 Today s Topics 1 2 3 4 5 6 Pseudo-minimal 7 Further Applications Section 1: { Models in L ω1,ω L ω1,ω satisfies downward Löwenheim Skolem to ℵ 0 for sentences. It does not satisfy upward
More informationForcing Axioms and Inner Models of Set Theory
Forcing Axioms and Inner Models of Set Theory Boban Veličković Equipe de Logique Université de Paris 7 http://www.logique.jussieu.fr/ boban 15th Boise Extravaganza in Set Theory Boise State University,
More informationITERATIONS WITH MIXED SUPPORT
ITERATIONS WITH MIXED SUPPORT VERA FISCHER Abstract. In this talk we will consider three properties of iterations with mixed (finite/countable) supports: iterations of arbitrary length preserve ω 1, iterations
More informationDenition 2: o() is the height of the well-founded relation. Notice that we must have o() (2 ) +. Much is known about the possible behaviours of. For e
Possible behaviours for the Mitchell ordering James Cummings Math and CS Department Dartmouth College Hanover NH 03755 January 23, 1998 Abstract We use a mixture of forcing and inner models techniques
More informationWhat are Axioms of Set Theory?
Set-theorists use the term Axiom (of Set Theory) quite freely. What do they mean by it? Examples Axioms of ZFC: Axiom of Extensionality Pairing Axiom Separation Axiom Union Axiom Powerset Axiom Axiom of
More informationTAMENESS FROM TWO SUCCESSIVE GOOD FRAMES
TAMENESS FROM TWO SUCCESSIVE GOOD FRAMES SEBASTIEN VASEY Abstract. We show, assuming a mild set-theoretic hypothesis, that if an abstract elementary class (AEC) has a superstable-like forking notion for
More informationCHAINS OF SATURATED MODELS IN AECS
CHAINS OF SATURATED ODELS IN AECS WILL BONEY AND SEBASTIEN VASEY Abstract. We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation.
More informationThree Red Herrings around Vaught s Conjecture
Three Red Herrings around Vaught s Conjecture John T. Baldwin University of Illinois at Chicago Sy D. Friedman KGRC Michael C. Laskowski University of Maryland Martin Koerwien KGRC November 21, 2013 Abstract
More informationThe axiom of choice and two-point sets in the plane
A.Miller AC and 2-point sets The axiom of choice and two-point sets in the plane Abstract Arnold W. Miller In this paper we prove that it consistent to have a two-point set in a model of ZF in which the
More informationAN INTRODUCTION TO EXCELLENT CLASSES INTRODUCTION
AN INTRODUCTION TO EXCELLENT CLASSES OLIVIER LESSMANN ABSTRACT. In this paper, we present Shelah s theory of excellence concluding with his categoricity theorem for the class of atomic models of a countable
More informationAn Iterated Forcing Extension In Which All Aleph-1 Dense Sets of Reals Are Isomorphic
San Jose State University SJSU ScholarWorks Master's Theses Master's Theses and Graduate Research Summer 2010 An Iterated Forcing Extension In Which All Aleph-1 Dense Sets of Reals Are Isomorphic Michael
More informationA Vaught s conjecture toolbox
Chris Laskowski University of Maryland 2 nd Vaught s conjecture conference UC-Berkeley 1 June, 2015 Everything begins with the work of Robert Vaught. Everything begins with the work of Robert Vaught. Fix
More informationDO FIVE OUT OF SIX ON EACH SET PROBLEM SET
DO FIVE OUT OF SIX ON EACH SET PROBLEM SET 1. THE AXIOM OF FOUNDATION Early on in the book (page 6) it is indicated that throughout the formal development set is going to mean pure set, or set whose elements,
More informationAmalgamation, Absoluteness, and Categoricity
Amalgamation, Absoluteness, and Categoricity John T. Baldwin University of Illinois at Chicago December 27, 2009 Abstract We describe progress on determining the categoricity spectrum of infinitary sentences.
More informationThe Absoluteness of Constructibility
Lecture: The Absoluteness of Constructibility We would like to show that L is a model of V = L, or, more precisely, that L is an interpretation of ZF + V = L in ZF. We have already verified that σ L holds
More informationThe constructible universe
The constructible universe In this set of notes I want to sketch Gödel s proof that CH is consistent with the other axioms of set theory. Gödel s argument goes well beyond this result; his identification
More informationA variant of Namba Forcing
A variant of Namba Forcing Moti Gitik School of Mathematical Sciences Raymond and Beverly Sackler Faculty of Exact Science Tel Aviv University Ramat Aviv 69978, Israel August 0, 009 Abstract Ronald Jensen
More informationSUPERSTABILITY IN ABSTRACT ELEMENTARY CLASSES
SUPERSTABILITY IN ABSTRACT ELEMENTARY CLASSES RAMI GROSSBERG AND SEBASTIEN VASEY Abstract. In the context of abstract elementary class (AEC) with amalgamation, joint embedding, and arbitrarily large models,
More informationThree Red Herrings around Vaught s Conjecture
Three Red Herrings around Vaught s Conjecture John T. Baldwin University of Illinois at Chicago Sy D. Friedman KGRC Michael C. Laskowski University of Maryland Martin Koerwien KGRC September 17, 2014 Abstract
More informationSATURATION AND SOLVABILITY IN ABSTRACT ELEMENTARY CLASSES WITH AMALGAMATION
SATURATION AND SOLVABILITY IN ABSTRACT ELEMENTARY CLASSES WITH AMALGAMATION SEBASTIEN VASEY Abstract. Theorem 0.1. Let K be an abstract elementary class (AEC) with amalgamation and no maximal models. Let
More informationSUPERSTABILITY IN ABSTRACT ELEMENTARY CLASSES
SUPERSTABILITY IN ABSTRACT ELEMENTARY CLASSES RAMI GROSSBERG AND SEBASTIEN VASEY Abstract. We prove that several definitions of superstability in abstract elementary classes (AECs) are equivalent under
More informationThe Modal Logic of Generic Multiverses
The Modal Logic of Generic Multiverses MSc Thesis (Afstudeerscriptie) written by Jakob Piribauer (born August 6, 1994 in Berlin, Germany) under the supervision of Prof Dr Benedikt Löwe, and submitted to
More informationarxiv: v4 [math.lo] 23 Jul 2016
A SURVEY ON TAME ABSTRACT ELEMENTARY CLASSES arxiv:1512.00060v4 [math.lo] 23 Jul 2016 WILL BONEY AND SEBASTIEN VASEY Abstract. Tame abstract elementary classes are a broad nonelementary framework for model
More informationSELF-DUAL UNIFORM MATROIDS ON INFINITE SETS
SELF-DUAL UNIFORM MATROIDS ON INFINITE SETS NATHAN BOWLER AND STEFAN GESCHKE Abstract. We extend the notion of a uniform matroid to the infinitary case and construct, using weak fragments of Martin s Axiom,
More informationUnsolvable problems, the Continuum Hypothesis, and the nature of infinity
Unsolvable problems, the Continuum Hypothesis, and the nature of infinity W. Hugh Woodin Harvard University January 9, 2017 V : The Universe of Sets The power set Suppose X is a set. The powerset of X
More informationTOWARD A STABILITY THEORY OF TAME ABSTRACT ELEMENTARY CLASSES
TOWARD A STABILITY THEORY OF TAME ABSTRACT ELEMENTARY CLASSES SEBASTIEN VASEY Abstract. We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness
More informationForcing with matrices of countable elementary submodels
Forcing with matrices of countable elementary submodels Boriša Kuzeljević IMS-JSPS Joint Workshop - IMS Singapore, January 2016 Boriša Kuzeljević (NUS) Matrices of elementary submodels January 2016 1 /
More informationDiagonalize This. Iian Smythe. Department of Mathematics Cornell University. Olivetti Club November 26, 2013
Diagonalize This Iian Smythe Department of Mathematics Cornell University Olivetti Club November 26, 2013 Iian Smythe (Cornell) Diagonalize This Nov 26, 2013 1 / 26 "Surprised Again on the Diagonal", Lun-Yi
More informationGeneralized Quantifiers, Infinitary Logics, and Abstract Elementary Classes
Generalized Quantifiers, Infinitary Logics, and Abstract Elementary Classes John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago December 14, 2007
More informationTrees and generic absoluteness
in ZFC University of California, Irvine Logic in Southern California University of California, Los Angeles November 6, 03 in ZFC Forcing and generic absoluteness Trees and branches The method of forcing
More informationScott Sentences in Uncountable Structures
Rose-Hulman Undergraduate Mathematics Journal Volume 18 Issue 1 Article 14 Scott Sentences in Uncountable Structures Brian Tyrrell Trinity College Dublin Follow this and additional works at: http://scholar.rose-hulman.edu/rhumj
More informationINDEPENDENCE OF THE CONTINUUM HYPOTHESIS
INDEPENDENCE OF THE CONTINUUM HYPOTHESIS CAPSTONE MATT LUTHER 1 INDEPENDENCE OF THE CONTINUUM HYPOTHESIS 2 1. Introduction This paper will summarize many of the ideas from logic and set theory that are
More informationCATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES RAMI GROSSBERG AND MONICA VANDIEREN Abstract. We prove that from categoricity in λ + we can get categoricity in all cardinals
More informationNAMBA FORCING, WEAK APPROXIMATION, AND GUESSING
NAMBA FORCING, WEAK APPROXIMATION, AND GUESSING SEAN COX AND JOHN KRUEGER Abstract. We prove a variation of Easton s lemma for strongly proper forcings, and use it to prove that, unlike the stronger principle
More informationGOOD FRAMES IN THE HART-SHELAH EXAMPLE
GOOD FRAMES IN THE HART-SHELAH EXAMPLE WILL BONEY AND SEBASTIEN VASEY Abstract. For a fixed natural number n 1, the Hart-Shelah example is an abstract elementary class (AEC) with amalgamation that is categorical
More informationTHE TREE PROPERTY AND THE FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS AT ℵ ω 2
THE TREE PROPERTY AND THE FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS AT ℵ ω 2 DIMA SINAPOVA Abstract. We show that given ω many supercompact cardinals, there is a generic extension in which the tree property
More informationOn some Metatheorems about FOL
On some Metatheorems about FOL February 25, 2014 Here I sketch a number of results and their proofs as a kind of abstract of the same items that are scattered in chapters 5 and 6 in the textbook. You notice
More informationAronszajn Trees and the SCH
Aronszajn Trees and the SCH Itay Neeman and Spencer Unger February 28, 2009 1 Introduction These notes are based on results presented by Itay Neeman at the Appalachian Set Theory workshop on February 28,
More informationExamples of Non-locality
Examples of Non-locality John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago Saharon Shelah Department of Mathematics Hebrew University of Jerusalem
More informationUNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS TREVOR M. WILSON
UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS TREVOR M. WILSON Abstract. We prove several equivalences and relative consistency results involving notions of generic absoluteness beyond Woodin s ) (Σ
More informationSOME USES OF SET THEORY IN ALGEBRA. Stanford Logic Seminar February 10, 2009
SOME USES OF SET THEORY IN ALGEBRA Stanford Logic Seminar February 10, 2009 Plan I. The Whitehead Problem early history II. Compactness and Incompactness III. Deconstruction P. Eklof and A. Mekler, Almost
More informationMathematical Logic (IX)
Mathematical Logic (IX) Yijia Chen 1. The Löwenheim-Skolem Theorem and the Compactness Theorem Using the term-interpretation, it is routine to verify: Theorem 1.1 (Löwenheim-Skolem). Let Φ L S be at most
More informationGREGORY TREES, THE CONTINUUM, AND MARTIN S AXIOM
The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 GREGORY TREES, THE CONTINUUM, AND MARTIN S AXIOM KENNETH KUNEN AND DILIP RAGHAVAN Abstract. We continue the investigation of Gregory trees and
More informationCOMPLETE NORMALITY AND COUNTABLE COMPACTNESS
Topology Proceedings Vol 17, 1992 COMPLETE NORMALITY AND COUNTABLE COMPACTNESS PETER J. NYIKOS, BORIS SHAPIROVSKIĬ, ZOLTÁN SZENTMIKLÓSSY AND BOBAN VELIČKOVIĆ One of the classical separation axioms of topology
More informationVARIATIONS FOR SEPARATING CLUB GUESSING PRINCIPLES
P max VARIATIONS FOR SEPARATING CLUB GUESSING PRINCIPLES TETSUYA ISHIU AND PAUL B. LARSON Abstract. In his book on P max [6], Woodin presents a collection of partial orders whose extensions satisfy strong
More informationAppalachian Set Theory Workshop on Coherent Sequences Lectures by Stevo Todorcevic Notes taken by Roberto Pichardo Mendoza
Appalachian Set Theory Workshop on Coherent Sequences Lectures by Stevo Todorcevic Notes taken by Roberto Pichardo Mendoza 1 Introduction 2 Preliminaries Let s begin by defining the basic structure for
More informationD, such that f(u) = f(v) whenever u = v, has a multiplicative refinement g : [λ] <ℵ 0
Maryanthe Malliaris and Saharon Shelah. Cofinality spectrum problems in model theory, set theory and general topology. J. Amer. Math. Soc., vol. 29 (2016), pp. 237-297. Maryanthe Malliaris and Saharon
More information2 C. A. Gunter ackground asic Domain Theory. A poset is a set D together with a binary relation v which is reexive, transitive and anti-symmetric. A s
1 THE LARGEST FIRST-ORDER-AXIOMATIZALE CARTESIAN CLOSED CATEGORY OF DOMAINS 1 June 1986 Carl A. Gunter Cambridge University Computer Laboratory, Cambridge C2 3QG, England Introduction The inspiration for
More information