Martin's maximum revisited
Year: 2011
Type: preprint
Abstract: We present several results relating the general theory of the stationary tower forcing developed by Woodin with forcing axioms. The main results is that the forcing axiom MM^{++} (also known as MM^{+ω_1}) decides the Π_2-theory of H_{ω_2} with respect to stationary set preserving forcings. We argue that this is a close to optimal generalization to H_{ω_2} of Woodin's absoluteness results for L(R).
Source: arXiv (Cornell University)
Author: Viale, Matteo
Institution: University of Turin
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2951438783