Martin's maximum revisited

Details Martin's maximum revisited Martin's maximum revisited

2011-10-06

arxiv.org/abs/1110.1181v2

Mathematics

Logic

31 pages, updated versions will be available on the author's webpage: http://www2.dm.unito.it/paginepersonali/viale/

Scientific paper

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^{+\omega_1}) decides the \Pi_2-theory of H_{\omega_2} with respect to stationary set preserving forcings. We argue that this is a close to optimal generalization to H_{\omega_2} of Woodin's absoluteness results for L(R).

Affiliated with

Also associated with

No associations

Rating

Martin's maximum revisited does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Martin's maximum revisited, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Martin's maximum revisited will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-181077