Canonical fragments of the strong reflection principle
Logic
2020-09-15 v1
Abstract
For an arbitrary forcing class , the -fragment of Todorcevic's strong reflection principle SRP is isolated in such a way that (1) the forcing axiom for implies the -fragment of SRP, (2) the stationary set preserving fragment of SRP is the full principle SRP, and (3) the subcomplete fragment of SRP implies the major consequences of the subcomplete forcing axiom. Along the way, some hitherto unknown effects of (the subcomplete fragment of) SRP on mutual stationarity are explored, and some limitations to the extent to which fragments of SRP may capture the effects of their corresponding forcing axioms are established.
Keywords
Cite
@article{arxiv.2009.06065,
title = {Canonical fragments of the strong reflection principle},
author = {Gunter Fuchs},
journal= {arXiv preprint arXiv:2009.06065},
year = {2020}
}
Comments
48 pages, 2 figures