Reflection implies the SCH

DOI10.4064/FM198-2-1MaRDI QIDQ5440227zbMATH OpenOpenAlexFDO

Authors S. Shelah

Publication date 1 February 2008

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0404323

zbMATH Keywords

reflectionsingular cardinal hypothesisstationary setspcf

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Ordered sets and their cofinalities; pcf theory (03E04)

Abstract: We prove that, e.g., if mu >cf(mu)= aleph_0 and mu>2^{aleph_0} and every stationary family of countable subsets of mu^+ reflect in some subset of mu^+ of cardinality aleph_1, then the SCH for mu^+ (moreover, for mu^+, any scale for mu^+ has a bad stationary set of cofinality aleph_1). This answers a question of Foreman and Todorcevic who got such conclusion from the simultaneous reflection of four stationary sets.

Recommendations

• Bounded stationary reflection
• On reflection of stationary sets in $\mathcal {P}_\kappa \lambda $
• Stationary reflections for uncountable cofinality
• Semistationary and stationary reflection
• Reflection and not SCH with overlapping extenders

Cited in

(17)

• INTERNAL APPROACHABILITY AND REFLECTION
• Combinatorial Dichotomies in Set Theory
• WEAK REFLECTION PRINCIPLE, SATURATION OF THE NONSTATIONARY IDEAL ON ω₁ AND DIAMONDS
• Sigma-Prikry forcing. III: Down to \(\aleph_{\omega}\)
• Nonreflecting stationary sets in \(\mathcal P_{\kappa}\lambda\)
• More on full reflection below \({\aleph_\omega}\)
• Club stationary reflection and the special Aronszajn tree property
• Leave Pima Indians alone: binary regression as a benchmark for Bayesian computation
• Non-saturation of the non-stationary ideal on \(P_{\kappa } (\lambda )\) with \(\lambda \) of countable cofinality
• Bayesian analysis of curves shape variation through registration and regression
• MENAS’S CONJECTURE REVISITED
• Rado's conjecture and its Baire version
• Partitioning a reflecting stationary set
• Simple proofs of SCH from reflection principles without using better scales
• What makes the continuum ℵ₂
• A club guessing toolbox. I
• STATIONARY REFLECTION AND THE FAILURE OF THE SCH

This page was built for publication: Reflection implies the SCH

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5440227)