Mathematics – Logic
Scientific paper
2005-01-28
Mathematics
Logic
11 pages
Scientific paper
In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2^omega = omega_2 and that L(P(omega_1)) satisfies the Axiom of Choice. It will also be demonstrated that this reflection principle implies that combinatorial principle Square(kappa) fails for all regular kappa > omega_1.
No associations
LandOfFree
Set mapping reflection 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 Set mapping reflection, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Set mapping reflection will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-392101