BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Victoria Gitman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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.
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 $Π^1_n$-indescribable, the \emph{$n$-club} subsets of $κ$ provide a filter base for the $Π^1_n$-indescribability ideal, and hence can also be used to give a characterization of $Π^1_n$-indescribable sets which resembles the definition of stationarity: a set $S\subseteqκ$ is $Π^1_n$-indescribable if and only if $S\cap C\neq\emptyset$ for every $n$-club $C\subseteqκ$. By replacing clubs with $n$-clubs in the definition of $\Box(κ)$, one obtains a $\Box(κ)$-like principle $\Box_n(κ)$, a version of which was first considered by Brickhill and Welch \cite{BrickhillWelch}. The principle $\Box_n(κ)$ is consistent with the $Π^1_n$-indescribability of $κ$ but inconsistent with the $Π^1_{n+1}$-indescribability of $κ$. By generalizing the standard forcing to add a $\Box(κ)$-sequence, we show that if $κ$ is $κ^+$-weakly compact and $\mathrm{GCH}$ holds then there is a cofinality-preserving forcing extension in which $κ$ remains $κ^+$-weakly compact and $\Box_1(κ)$ holds. If $κ$ is $Π^1_2$-indescribable and $\mathrm{GCH}$ holds then there is a cofinality-preserving forcing extension in which $κ$ is $κ^+$-weakly compact, $\Box_1(κ)$ holds and every weakly compact subset of $κ$ has a weakly compact proper initial segment. As an application, we prove that, relative to a $Π^1_2$-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 $S^0$ and $S^1$ of $κ$ such that there is no $β<κ$ for which both $S^0\capβ$ and $S^1\capβ$ 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+$Π^1_1$-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 $\diamondsuit$ 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(\mathbb 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 $\ltκ$-closed $\leqκ$-distributive forcing and all two-step iterations of the form ${\rm Add}(κ,θ)*\dot{\mathbb R}$, where $\dot{\mathbb R}$ is forced to be $\ltκ$-closed and $\leqκ$-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 ${\rm 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 $\aleph_n$, but none of size $\aleph_ω$, 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\to N$ of ZFC- models that is $Σ_1$-elementary and cofinal, but not elementary; there are elementary embeddings $j:M\to N$ of ZFC- models whose cofinal restriction $j:M\to \bigcup 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 ${\rm ZFC}$ are uniformly definable in their set-forcing extensions, using a ground model parameter. We investigate ground model definability for models of fragments of ${\rm ZFC}$, particularly of ${\rm ZF}+{\rm DC}_δ$ and of ${\rm ZFC}^-$, and we obtain both positive and negative results. Generalizing the results of Laver and Woodin, we show that models of ${\rm ZF}+{\rm 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 ${\rm ZF}+{\rm 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 ${\rm ZFC}^-$ of the form $H_{κ^+}$. Using forcing, we produce a ${\rm 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 ${\rm ZFC}^-$ violating ground model definability. These results turn out to have a bearing on ground model definability for models of ${\rm ZFC}$. It follows from our proof methods that the hereditary size of the parameter that Woodin used to define a ${\rm 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(α)\leq F(β)$ for $α\leqβ$ 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 $α\leqω_1$, that they are downward absolute to $L$ for $α<ω_1^L$, and that the consistency strength of Schindler's remarkable cardinals is strictly between 1-iterable and 2-iterable cardinals.