Year: 2020
Type: preprint
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 $(*)$ entail that any theory $T$ extending $\mathsf{ZFC}$ by suitable large cardinal axioms has a model companion $T^*$ with respect to certain signatures $τ$ containing symbols for $Δ_0$-relations and functions, constant symbols for $ω$ and $ω_1$, a predicate symbol for the nonstationary ideal on $ω_1$, symbols for certain lightface definable universally Baire sets. Moreover $T^*$ is axiomatized by the $Π_2$-sentences $ψ$ for $τ$ such that $T$ proves that $$ L(\mathsf{UB})\models(\mathbb{P}_\max\Vdashψ^{H_{ω_2}}), $$ where $L(\mathsf{UB})$ denotes the smallest transitive model containing the universally Baire sets. Key to our results is the recent breakthrough of Asperò and Schindler establishing that a strong form of Woodin's axiom $(*)$ follows from $\mathsf{MM}^{++}$.
Source: arXiv (Cornell University)
Author: Viale, Matteo
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W3010652780