Category forcings, MM+++MM^{+++}, and generic absoluteness for the theory of strong forcing axioms

We introduce a category whose objects are stationary set preserving complete boolean algebras and whose arrows are complete homomorphisms with a stationary set preserving quotient. We show that the cut of this category at a rank initial segment of the universe of height a super compact which is a limit of super compact cardinals is a stationary set preserving partial order which forces $MM^{++}$ and collapses its size to become the second uncountable cardinal. Next we argue that any of the known methods to produce a model of $MM^{++}$ collapsing a superhuge cardinal to become the second uncountable cardinal produces a model in which the cutoff of the category of stationary set preserving forcings at any rank initial segment of the universe of large enough height is forcing equivalent to a presaturated tower of normal filters. We let $MM^{+++}$ denote this statement and we prove that the theory of $L(Ord^{\omega_1})$ with parameters in $P(\omega_1)$ is generically invariant for stationary set preserving forcings that preserve $MM^{+++}$. Finally we argue that the work of Larson and Asper\'o shows that this is a next to optimal generalization to the Chang model $L(Ord^{\omega_1})$ of Woodin's generic absoluteness results for the Chang model $L(Ord^{\omega})$. It remains open whether $MM^{+++}$ and $MM^{++}$ are equivalent axioms modulo large cardinals and whether $MM^{++}$ suffices to prove the same generic absoluteness results for the Chang model $L(Ord^{\omega_1})$.Comment: - to appear on the Journal of the American Mathemtical Societ

The Proper Forcing Axiom and the Singular Cardinal Hypothesis

We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle.Comment: 10 page

Generic absoluteness and boolean names for elements of a Polish space

It is common knowledge in the set theory community that there exists a duality relating the commutative $C^*$-algebras with the family of $B$-names for complex numbers in a boolean valued model for set theory $V^B$. Several aspects of this correlation have been considered in works of the late $1970$'s and early $1980$'s, for example by Takeuti, and by Jech. Generalizing Jech's results, we extend this duality so as to be able to describe the family of boolean names for elements of any given Polish space $Y$ (such as the complex numbers) in a boolean valued model for set theory $V^B$ as a space $C^+(X,Y)$ consisting of functions $f$ whose domain $X$ is the Stone space of $B$, and whose range is contained in $Y$ modulo a meager set. We also outline how this duality can be combined with generic absoluteness results in order to analyze, by means of forcing arguments, the theory of $C^+(X,Y)$.Comment: 27 page

Absoluteness via Resurrection

The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velickovi\'c. We introduce a stronger form of resurrection axioms (the \emph{iterated} resurrection axioms $\textrm{RA}_\alpha(\Gamma)$ for a class of forcings $\Gamma$ and a given ordinal $\alpha$), and show that $\textrm{RA}_\omega(\Gamma)$ implies generic absoluteness for the first-order theory of $H_{\gamma^+}$ with respect to forcings in $\Gamma$ preserving the axiom, where $\gamma=\gamma_\Gamma$ is a cardinal which depends on $\Gamma$ ($\gamma_\Gamma=\omega_1$ if $\Gamma$ is any among the classes of countably closed, proper, semiproper, stationary set preserving forcings). We also prove that the consistency strength of these axioms is below that of a Mahlo cardinal for most forcing classes, and below that of a stationary limit of supercompact cardinals for the class of stationary set preserving posets. Moreover we outline that simultaneous generic absoluteness for $H_{\gamma_0^+}$ with respect to $\Gamma_0$ and for $H_{\gamma_1^+}$ with respect to $\Gamma_1$ with $\gamma_0=\gamma_{\Gamma_0}\neq\gamma_{\Gamma_1}=\gamma_1$ is in principle possible, and we present several natural models of the Morse Kelley set theory where this phenomenon occurs (even for all $H_\gamma$ simultaneously). Finally, we compare the iterated resurrection axioms (and the generic absoluteness results we can draw from them) with a variety of other forcing axioms, and also with the generic absoluteness results by Woodin and the second author.Comment: 34 page

Absolute model companionship, forcibility, and the continuum problem

Absolute model companionship (AMC) is a strict strengthening of model companionship defined as follows: For a theory $T$, $T_{\exists\vee\forall}$ denotes the logical consequences of $T$ which are boolean combinations of universal sentences. $T^*$ is the AMC of $T$ if it is model complete and $T_{\exists\vee\forall}=T^*_{\exists\vee\forall}$. The $\{+,\cdot,0,1\}$-theory $\mathsf{ACF}$ of algebraically closed field is the model companion of the theory of $\mathsf{Fields}$ but not its AMC as $\exists x(x^2+1=0)$ is in $\mathsf{ACF}_{\exists\vee\forall}\setminus \mathsf{Fields}_{\exists\vee\forall}$. We use AMC to study the continuum problem and to gauge the expressive power of forcing. We show that (a definable version of) $2^{\aleph_0}=\aleph_2$ is the unique solution to the continuum problem which can be in the AMC of a "partial Morleyization" of the $\in$-theory $\mathsf{ZFC}+$"there are class many supercompact cardinals". We also show that (assuming large cardinals) forcibility overlaps with the apparently weaker notion of consistency for any mathematical problem $\psi$ expressible as a $\Pi_2$-sentence of a (very large fragment of) third order arithmetic ($\mathsf{CH}$, the Suslin hypothesis, the Whitehead conjecture for free groups are a small sample of such problems $\psi$). Partial Morleyizations can be described as follows: let $\mathsf{Form}_{\tau}$ be the set of first order $\tau$-formulae; for $A\subseteq \mathsf{Form}_\tau$, $\tau_A$ is the expansion of $\tau$ adding atomic relation symbols $R_\phi$ for all formulae $\phi$ in $A$ and $T_{\tau,A}$ is the $\tau_A$-theory asserting that each $\tau$-formula $\phi(\vec{x})\in A$ is logically equivalent to the corresponding atomic formula $R_\phi(\vec{x})$. For a $\tau$-theory $T$ $T+T_{\tau,A}$ is the partial Morleyization of $T$ induced by $A\subseteq \mathsf{Form}_\tau$.Comment: This paper systematizes and improves the results appearing in arxiv submissions arXiv:2101.07573, arXiv:2003.07114, arXiv:2003.0712