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).
Connections
Explore this paper’s authors, topics and related work.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Reviews 0
Write a review
No reviews yet.
Discussion 0
Add a comment
No comments yet.