English

Weak square and stationary reflection

Logic 2017-11-17 v1

Abstract

It is well-known that the square principle λ\square_\lambda entails the existence of a non-reflecting stationary subset of λ+\lambda^+, whereas the weak square principle λ\square^*_\lambda does not. Here we show that if μcf(λ)<λ\mu^{\mathrm{cf}(\lambda)} < \lambda for all μ<λ\mu < \lambda, then λ\square^*_\lambda entails the existence of a non-reflecting stationary subset of Ecf(λ)λ+E^{\lambda^+}_{\mathrm{cf}(\lambda)} in the forcing extension for adding a single Cohen subset of λ+\lambda^+. 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 λ\square^*_\lambda for every singular cardinal λ\lambda 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

R2 v1 2026-06-22T22:48:30.799Z