English

Aronszajn tree preservation and bounded forcing axioms

Logic 2023-06-22 v1

Abstract

I investigate the relationships between three hierarchies of reflection principles for a forcing class Γ\Gamma: the hierarchy of bounded forcing axioms, of Σ11\Sigma^1_1-absoluteness and of Aronszajn tree preservation principles. The latter principle at level κ\kappa says that whenever TT is a tree of height ω1\omega_1 and width κ\kappa that does not have a branch of order type ω1\omega_1, and whenever PP is a forcing notion in Γ\Gamma, then it is not the case that PP forces that TT has such a branch. Σ11\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ω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.

Keywords

Cite

@article{arxiv.2001.03105,
  title  = {Aronszajn tree preservation and bounded forcing axioms},
  author = {Gunter Fuchs},
  journal= {arXiv preprint arXiv:2001.03105},
  year   = {2023}
}
R2 v1 2026-06-23T13:07:13.478Z