FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION

DOI10.1017/JSL.2020.4OpenAlexW3209780287WikidataQ114655143 ScholiaQ114655143MaRDI QIDQ5159486FDOQ5159486

Authors Sean Cox

Publication date 27 October 2021

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

approachabilityforcing axiomsMartin's maximuminternally approachable

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Recommendations

• Forcing axioms and stationary sets
• The proper forcing axiom and stationary set reflection
• Stationary reflections for uncountable cofinality
• On the structure of stationary sets
• Canonical fragments of the strong reflection principle

Cites work

• scientific article; zbMATH DE number 3898876 (Why is no real title available?)
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• scientific article; zbMATH DE number 887781 (Why is no real title available?)
• scientific article; zbMATH DE number 5785892 (Why is no real title available?)
• A new Löwenheim-Skolem theorem
• A very weak square principle
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• Chang's conjecture and semiproperness of nonreasonable posets
• Dense non-reflection for stationary collections of countable sets
• Forcing axioms and stationary sets
• Forcing with sequences of models of two types
• Fragments of Martin's Maximum in generic extensions
• Guessing models and generalized Laver diamond
• INTERNAL APPROACHABILITY AND REFLECTION
• Ideals and generic elementary embeddings
• Indestructible guessing models and the continuum
• Internally club and approachable
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
• Nonsplitting subset of _κ(κ⁺)
• On the consistency strength of the proper forcing axiom
• Operations, climbability and the proper forcing axiom
• PFA and ideals on \(\omega_{2}\) whose associated forcings are proper
• Projective Stationary Sets and a Strong Reflection Principle
• Semistationary and stationary reflection
• Separating stationary reflection principles
• Set Theory
• Some applications of mixed support iterations
• The diagonal reflection principle
• The proper forcing axiom and stationary set reflection
• Thin stationary sets and disjoint club sequences
• \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings
• 𝐼[𝜔₂] can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)

Cited in

(6)

• On disjoint stationary sequences
• THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS
• Increasing u₂ by a stationary set preserving forcing
• Filtration games and potentially projective modules
• Forcing axioms and the complexity of non-stationary ideals
• Forcing axioms, approachability, and stationary set reflection

This page was built for publication: FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION

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