Stationary reflection principles and two cardinal tree properties

DOI10.1017/S1474748013000315MaRDI QIDQ2937357zbMATH OpenOpenAlexFDO

Authors Hiroshi Sakai, Boban Velickovic

Publication date 9 January 2015

Published in Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

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

zbMATH Keywords

large cardinalsreflectionstationary setstree property

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65)

Abstract: We study consequences of stationary and semi-stationary set reflection. We show that the semi stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal tree properties introduced recently by Weiss and prove that they follow from stationary and semi stationary set reflection augmented with a weak form of Martin's Axiom. We also show that there are some differences between the two reflection principles which suggest that stationary set reflection is analogous to supercompactness whereas semi-stationary set reflection is analogous to strong compactness.

Recommendations

• Semistationary and stationary reflection
• On reflection of stationary sets in $\mathcal {P}_\kappa \lambda $
• Strong Chang's conjecture, semi-stationary reflection, the strong tree property and two-cardinal square principles
• Reflection principles for _2 and the semi-stationary reflection principle
• Stationary reflections for uncountable cofinality

Cites work

• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• On the consistency strength of the proper forcing axiom
• On the size of closed unbounded sets
• Semiproper forcing axiom implies Martin maximum but not PFA⁺
• Semistationary and stationary reflection
• Strong compactness and stationary sets

Cited in

(10)

• Forcing axioms via ground model interpretations
• Strong Chang's conjecture, semi-stationary reflection, the strong tree property and two-cardinal square principles
• Reflection principles for _2 and the semi-stationary reflection principle
• INTERNAL APPROACHABILITY AND REFLECTION
• Simple proofs of SCH from reflection principles without using better scales
• Aronszajn trees, square principles, and stationary reflection
• Rado's conjecture and its Baire version
• THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM
• Semistationary and stationary reflection
• Strong Chang's conjecture and the tree property at \(\omega_{2}\)

This page was built for publication: Stationary reflection principles and two cardinal tree properties

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