Set mapping reflection
Logic
2013-10-08 v1
Abstract
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.
Keywords
Cite
@article{arxiv.math/0501526,
title = {Set mapping reflection},
author = {Justin Tatch Moore},
journal= {arXiv preprint arXiv:math/0501526},
year = {2013}
}
Comments
11 pages