-
Generic Absoluteness Revisited
Authors:
Sakaé Fuchino,
Takehiko Gappo,
Francesco Parente
Abstract:
The present paper is concerned with the relation between recurrence axioms and Laver-generic large cardinal axioms in light of principles of generic absoluteness and the Ground Axiom.
M. Viale proved that Martin's Maximum$^{++}$ together with the assumption that there are class many Woodin cardinals implies…
▽ More
The present paper is concerned with the relation between recurrence axioms and Laver-generic large cardinal axioms in light of principles of generic absoluteness and the Ground Axiom.
M. Viale proved that Martin's Maximum$^{++}$ together with the assumption that there are class many Woodin cardinals implies $\mathcal{H}(\aleph_2)^{\mathsf{V}}\prec_{Σ_2}\mathcal{H}(\aleph_2)^{\mathsf{V}[\mathbb{G}]}$ for a generic $\mathbb{G}$ on any stationary preserving $\mathbb{P}$ which also preserves Bounded Martin's Maximum. We show that a similar but more general conclusion follows from each of $(\mathcal{P},\mathcal{H}(κ))_{Σ_2}$-${\sf RcA}^+$ (which is a fragment of a reformulation of the Maximality Principle for $\mathcal{P}$ and $\mathcal{H}(κ)$), and the existence of the tightly $\mathcal{P}$-Laver-generically huge cardinal.
While under "$\mathcal{P}=$ all stationary preserving posets", our results are not very much more than Viale's Theorem, for other classes of posets, "$\mathcal{P}=$ all proper posets" or "$\mathcal{P}=$ all ccc posets", for example, our theorems are not at all covered by his theorem.
The assumptions (and hence also the conclusion) of Viale's Theorem are compatible with the Ground Axiom. In contrast, we show that the assumptions of our theorems (for most of the common settings of $\mathcal{P}$ and with a modification of the large cardinal property involved) imply the negation of the Ground Axiom. This fact is used to show that fragments of Recurrence Axiom $(\mathcal{P},\mathcal{H}(κ))_Γ$-${\sf RcA}^+$ can be different from the corresponding fragments of Maximality Principle ${\sf MP}(\mathcal{P},\mathcal{H}(κ))_Γ$ for $Γ=Π_2$.
△ Less
Submitted 17 November, 2024; v1 submitted 20 October, 2024;
originally announced October 2024.
-
On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
Authors:
Navin Aksornthong,
Takehiko Gappo,
James Holland,
Grigor Sargsyan
Abstract:
We show that in the $\mathbb{P}_{\max}$ extension of a certain Chang-type model of determinacy, if $κ\in\{ω_1, ω_2, ω_3\}$, then the restriction of the club filter on $κ\cap\mathrm{Cof}(ω)$ to HOD is an ultrafilter in HOD. This answers Question 4.11 of [BNH23] raised by Ben-Neria and Hayut.
We show that in the $\mathbb{P}_{\max}$ extension of a certain Chang-type model of determinacy, if $κ\in\{ω_1, ω_2, ω_3\}$, then the restriction of the club filter on $κ\cap\mathrm{Cof}(ω)$ to HOD is an ultrafilter in HOD. This answers Question 4.11 of [BNH23] raised by Ben-Neria and Hayut.
△ Less
Submitted 27 June, 2025; v1 submitted 25 July, 2023;
originally announced July 2023.
-
Chang models over derived models with supercompact measures
Authors:
Takehiko Gappo,
Sandra Müller,
Grigor Sargsyan
Abstract:
Based on earlier work of the third author, we construct a Chang-type model with supercompact measures extending a derived model of a given hod mouse with a regular cardinal $δ$ that is both a limit of Woodin cardinals and a limit of ${<}δ$-strong cardinals. The existence of such a hod mouse is consistent relative to a Woodin cardinal that is a limit of Woodin cardinals. We argue that our Chang-typ…
▽ More
Based on earlier work of the third author, we construct a Chang-type model with supercompact measures extending a derived model of a given hod mouse with a regular cardinal $δ$ that is both a limit of Woodin cardinals and a limit of ${<}δ$-strong cardinals. The existence of such a hod mouse is consistent relative to a Woodin cardinal that is a limit of Woodin cardinals. We argue that our Chang-type model satisfies $\mathsf{AD}_{\mathbb{R}} + Θ$ is regular + $ω_1$ is ${<}δ_{\infty}$-supercompact for some regular cardinal $δ_{\infty}>Θ$. This complements Woodin's generalized Chang model, which satisfies $\mathsf{AD}_{\mathbb{R}}+ω_1$ is supercompact, assuming a proper class of Woodin cardinals that are limits of Woodin cardinals.
△ Less
Submitted 13 February, 2025; v1 submitted 17 July, 2023;
originally announced July 2023.
-
Determinacy in the Chang model
Authors:
Takehiko Gappo,
Grigor Sargsyan
Abstract:
Assuming the existence of a certain hod pair with a Woodin cardinal that is a limit of Woodin cardinals, we show that the Chang model satisfies $\mathsf{AD}^+$ in any set generic extensions.
Assuming the existence of a certain hod pair with a Woodin cardinal that is a limit of Woodin cardinals, we show that the Chang model satisfies $\mathsf{AD}^+$ in any set generic extensions.
△ Less
Submitted 13 February, 2023;
originally announced February 2023.
-
On the derived models of self iterable universes
Authors:
Grigor Sargsyan,
Takehiko Gappo
Abstract:
We show that if the universe is self-iterable and $κ$ is an inaccessible limit of Woodin cardinal then $AD_R + "Θ$ is regular" holds in the derived model at $κ$. The proof is fine-structure free, and only assumes basic knowledge of iteration trees and iteration strategies. Our proof can be viewed as the fine-structure free version of the well-known fact that $AD_R + "Θ$ is regular" is true in the…
▽ More
We show that if the universe is self-iterable and $κ$ is an inaccessible limit of Woodin cardinal then $AD_R + "Θ$ is regular" holds in the derived model at $κ$. The proof is fine-structure free, and only assumes basic knowledge of iteration trees and iteration strategies. Our proof can be viewed as the fine-structure free version of the well-known fact that $AD_R + "Θ$ is regular" is true in the derived models of hod mice that have inaccessible limit of Woodin cardinals (see for example [6]). However, the proof uses a different set of ideas and is more general.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
