Tameness for set theory II

MaRDI QIDQ6336825zbMATH OpenFDO

Authors Matteo Viale

Publication date 16 March 2020

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57)

Abstract: The paper is the second of two and shows that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic definable concepts of second and third order arithmetic, and appealing to the model-theoretic notions of model completeness and model companionship. Specifically we use the general framework linking generic absoluteness results to model companionship introduced in the first paper to show that strong forms of Woodin's axiom $(\ast )$ entail that any theory $T$ extending $mathsfZFC$ by suitable large cardinal axioms has a model companion $T^{\ast }$ with respect to certain signatures $au$ containing symbols for $Delt{a}_0$-relations and functions, constant symbols for $omega$ and $omeg{a}_1$, a predicate symbol for the nonstationary ideal on $omeg{a}_1$, symbols for certain lightface definable universally Baire sets. Moreover $T^{\ast }$ is axiomatized by the $P{i}_2$-sentences $psi$ for $au$ such that $T$ proves that ${\displaystyle }$ L(mathsf{UB})models(mathbb{P}_maxVdashpsi^{H_{omega_2}}), ${\displaystyle }$ where $L(mathsfUB)$ denotes the smallest transitive model containing the universally Baire sets. Key to our results is the recent breakthrough of Asper`o and Schindler establishing that a strong form of Woodin's axiom $(\ast )$ follows from $mathsf{MM}^{++}$.

This page was built for publication: Tameness for set theory $II$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6336825)