BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
In [Bon20], model theoretic characterizations of several established large cardinal notions were given. We continue this work, by establishing such characterizations for Woodin cardinals (and variants), various virtual large cardinals, and subtle cardinals.
Hellsten \cite{MR2026390} proved that when κ is Πn1-indescribable, the \emph{n-club} subsets of κ provide a filter base for the Πn1-indescribability ideal, and hence can also be used to give a characterization of Πn1-indescribable sets which resembles the definition of stationarity: a set S⊆κ is Πn1-indescribable if and only if S∩C=∅ for every n-club C⊆κ. By replacing clubs with n-clubs in the definition of □(κ), one obtains a □(κ)-like principle □n(κ), a version of which was first considered by Brickhill and Welch \cite{BrickhillWelch}. The principle □n(κ) is consistent with the Πn1-indescribability of κ but inconsistent with the Πn+11-indescribability of κ. By generalizing the standard forcing to add a □(κ)-sequence, we show that if κ is κ+-weakly compact and GCH holds then there is a cofinality-preserving forcing extension in which κ remains κ+-weakly compact and □1(κ) holds. If κ is Π21-indescribable and GCH holds then there is a cofinality-preserving forcing extension in which κ is κ+-weakly compact, □1(κ) holds and every weakly compact subset of κ has a weakly compact proper initial segment. As an application, we prove that, relative to a Π21-indescribable cardinal, it is consistent that κ is κ+-weakly compact, every weakly compact subset of κ has a weakly compact proper initial segment, and there exist two weakly compact subsets S0 and S1 of κ such that there is no β<κ for which both S0∩β and S1∩β are weakly compact.
The principle of open determinacy for class games---two-player games of perfect information with plays of length ω, where the moves are chosen from a possibly proper class, such as games on the ordinals---is not provable in Zermelo-Fraenkel set theory ZFC or Gödel-Bernays set theory GBC, if these theories are consistent, because provably in ZFC there is a definable open proper class game with no definable winning strategy. In fact, the principle of open determinacy and even merely clopen determinacy for class games implies Con(ZFC) and iterated instances Con(Con(ZFC)) and more, because it implies that there is a satisfaction class for first-order truth and indeed a transfinite tower of truth predicates for iterated truth-about-truth, relative to any class parameter. This is perhaps explained, in light of the Tarskian recursive definition of truth, by the more general fact that the principle of clopen determinacy is exactly equivalent over GBC to the principle of elementary transfinite recursion ETR over well-founded class relations. Meanwhile, the principle of open determinacy for class games is provable in the stronger theory GBC+Π11-comprehension, a proper fragment of Kelley-Morse set theory KM.
We show that the analogues of the Hamkins embedding theorems, proved for the countable models of set theory, do not hold when extended to the uncountable realm of ω1-like models of set theory. Specifically, under the ♢ hypothesis and suitable consistency assumptions, we show that there is a family of 2ω1 many ω1-like models of ZFC, all with the same ordinals, that are pairwise incomparable under embeddability; there can be a transitive ω1-like model of ZFC that does not embed into its own constructible universe; and there can be an ω1-like model of PA whose structure of hereditarily finite sets is not universal for the ω1-like models of set theory.
Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of L(R) is absolute for proper forcing. Here, we study the indestructibility properties of remarkable cardinals. We show that if κ is remarkable, then there is a forcing extension in which the remarkability of κ becomes indestructible by all <κ-closed ≤κ-distributive forcing and all two-step iterations of the form Add(κ,θ)∗R˙, where R˙ is forced to be <κ-closed and ≤κ-distributive. In the process, we introduce the notion of a remarkable Laver function and show that every remarkable cardinal carries such a function. We also show that remarkability is preserved by the canonical forcing of the GCH.
We show that the theory ZFC-, consisting of the usual axioms of ZFC but with the power set axiom removed-specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every set can be well-ordered-is weaker than commonly supposed and is inadequate to establish several basic facts often desired in its context. For example, there are models of ZFC- in which ω1 is singular, in which every set of reals is countable, yet ω1 exists, in which there are sets of reals of every size ℵn, but none of size ℵω, and therefore, in which the collection axiom sceme fails; there are models of ZFC- for which the Los theorem fails, even when the ultrapower is well-founded and the measure exists inside the model; there are models of ZFC- for which the Gaifman theorem fails, in that there is an embedding j:M→N of ZFC- models that is Σ1-elementary and cofinal, but not elementary; there are elementary embeddings j:M→N of ZFC- models whose cofinal restriction j:M→⋃j‘‘M is not elementary. Moreover, the collection of formulas that are provably equivalent in ZFC- to a Σ1-formula or a Π1-formula is not closed under bounded quantification. Nevertheless, these deficits of ZFC- are completely repaired by strengthening it to the theory ZFC−, obtained by using collection rather than replacement in the axiomatization above. These results extend prior work of Zarach.
Laver, and Woodin independently, showed that models of ZFC are uniformly definable in their set-forcing extensions, using a ground model parameter. We investigate ground model definability for models of fragments of ZFC, particularly of ZF+DCδ and of ZFC−, and we obtain both positive and negative results. Generalizing the results of Laver and Woodin, we show that models of ZF+DCδ are uniformly definable in their set-forcing extensions by posets admitting a gap at δ, using a ground model parameter. In particular, this means that models of ZF+DCδ are uniformly definable in their forcing extensions by posets of size less than δ. We also show that it is consistent for ground model definability to fail for models of ZFC− of the form Hκ+. Using forcing, we produce a ZFC universe in which there is a cardinal κ>>ω such that Hκ+ is not definable in its Cohen forcing extension. As a corollary, we show that there is always a countable transitive model of ZFC− violating ground model definability. These results turn out to have a bearing on ground model definability for models of ZFC. It follows from our proof methods that the hereditary size of the parameter that Woodin used to define a ZFC model in its set-forcing extension is best possible.
We show that, assuming GCH, if κ is a Ramsey or a strongly Ramsey cardinal and F is a class function on the regular cardinals having a closure point at κ and obeying the constraints of Easton's theorem, namely, F(α)≤F(β) for α≤β and $α<\cf(F(α))$, then there is a cofinality preserving forcing extension in which κ remains Ramsey or strongly Ramsey respectively and 2δ=F(δ) for every regular cardinal δ.
If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms introduced by Hamkins.
We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κfor which 2^κ=κ^+, another for which 2^κ=κ^++ and another in which the least strongly compact cardinal is supercompact. If there is a strongly compact cardinal, then there is an inner model with a strongly compact cardinal, for which the measurable cardinals are bounded below it and another inner model W with a strongly compact cardinal κ, such that H_{κ^+}^V\subseteq HOD^W. Similar facts hold for supercompact, measurable and strongly Ramsey cardinals. If a cardinal is supercompact up to a weakly iterable cardinal, then there is an inner model of the Proper Forcing Axiom and another inner model with a supercompact cardinal in which GCH+V=HOD holds. Under the same hypothesis, there is an inner model with level by level equivalence between strong compactness and supercompactness, and indeed, another in which there is level by level inequivalence between strong compactness and supercompactness. If a cardinal is strongly compact up to a weakly iterable cardinal, then there is an inner model in which the least measurable cardinal is strongly compact. If there is a weakly iterable limit δof <δ-supercompact cardinals, then there is an inner model with a proper class of Laver-indestructible supercompact cardinals. We describe three general proof methods, which can be used to prove many similar results.
One of the numerous characterizations of a Ramsey cardinal kappa involves the existence of certain types of elementary embeddings for transitive sets of size κsatisfying a large fragment of ZFC. We introduce new large cardinal axioms generalizing the Ramsey elementary embeddings characterization and show that they form a natural hierarchy between weakly compact cardinals and measurable cardinals. These new axioms serve to further our knowledge about the elementary embedding properties of smaller large cardinals, in particular those still consistent with V=L.
This paper continues the study of the Ramsey-like large cardinals. Ramsey-like cardinals are defined by generalizing the characterization of Ramsey cardinals via the existence of elementary embeddings. Ultrafilters derived from such embeddings are fully iterable and so it is natural to ask about large cardinal notions asserting the existence of ultrafilters allowing only α-many iterations for some countable ordinal α. Here we study such α-iterable cardinals. We show that the α-iterable cardinals form a strict hierarchy for α≤ω1, that they are downward absolute to L for α<ω1L, and that the consistency strength of Schindler's remarkable cardinals is strictly between 1-iterable and 2-iterable cardinals.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.