Weak square and stationary reflection

G. Fuchs, A. Rinot

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

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 μcf(λ) < λ for all μ < λ, then □λ∗ entails the existence of a non-reflecting stationary subset of Ecf(λ)λ+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.

Original languageEnglish
Pages (from-to)393-405
Number of pages13
JournalActa Mathematica Hungarica
Volume155
Issue number2
DOIs
StatePublished - 1 Aug 2018
Externally publishedYes

Keywords

  • SCFA
  • simultaneous stationary reflection
  • weak square

ASJC Scopus subject areas

  • General Mathematics

Fingerprint

Dive into the research topics of 'Weak square and stationary reflection'. Together they form a unique fingerprint.

Cite this