Weak square and stationary reflection
Logic
2017-11-17 v1
Abstract
It is well-known that the square principle entails the existence of a non-reflecting stationary subset of , whereas the weak square principle does not. Here we show that if for all , then entails the existence of a non-reflecting stationary subset of in the forcing extension for adding a single Cohen subset of . It follows that indestructible forms of simultaneous stationary reflection entail the failure of weak square. We demonstrate this by settling a question concerning the subcomplete forcing axiom (SCFA), proving that SCFA entails the failure of for every singular cardinal of countable cofinality.
Keywords
Cite
@article{arxiv.1711.06213,
title = {Weak square and stationary reflection},
author = {Gunter Fuchs and Assaf Rinot},
journal= {arXiv preprint arXiv:1711.06213},
year = {2017}
}
Comments
11 pages