On the consistency strength of the proper forcing axiom

Details On the consistency strength of the proper forcing axiom On the consistency strength of the proper forcing axiom

2010-12-09

arxiv.org/abs/1012.2046v1

Mathematics

Logic

Scientific paper

Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles hold for $\omega_2$. Using this, we argue to show that any of the known methods for forcing models of PFA from a large cardinal assumption requires a strongly compact cardinal. If one forces PFA using a proper forcing, then we get the optimal result that a supercompact cardinal is necessary.

Affiliated with

Also associated with

No associations

Rating

On the consistency strength of the proper forcing axiom 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 On the consistency strength of the proper forcing axiom, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the consistency strength of the proper forcing axiom will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-77360