Abstract
AbstractI investigate the relationships between three hierarchies of reflection principles for a forcing class $\Gamma $ : the hierarchy of bounded forcing axioms, of $\Sigma ^1_1$ -absoluteness, and of Aronszajn tree preservation principles. The latter principle at level $\kappa $ says that whenever T is a tree of height $\omega _1$ and width $\kappa $ that does not have a branch of order type $\omega _1$ , and whenever ${\mathord {\mathbb P}}$ is a forcing notion in $\Gamma $ , then it is not the case that ${\mathord {\mathbb P}}$ forces that T has such a branch. $\Sigma ^1_1$ -absoluteness serves as an intermediary between these principles and the bounded forcing axioms. A special case of the main result is that for forcing classes that don’t add reals, the three principles at level $2^\omega $ are equivalent. Special attention is paid to certain subclasses of subcomplete forcing, since these are natural forcing classes that don’t add reals.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.