FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION
From MaRDI portal
Publication:5159486
DOI10.1017/jsl.2020.4OpenAlexW3209780287WikidataQ114655143 ScholiaQ114655143MaRDI QIDQ5159486
Publication date: 27 October 2021
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1807.06129
Related Items
Forcing axioms and the complexity of non-stationary ideals, Filtration games and potentially projective modules, THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Operations, climbability and the proper forcing axiom
- Guessing models and generalized Laver diamond
- On the consistency strength of the proper forcing axiom
- Dense non-reflection for stationary collections of countable sets
- \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings
- Some applications of mixed support iterations
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Forcing axioms and stationary sets
- The proper forcing axiom and stationary set reflection
- PFA and ideals on \(\omega_{2}\) whose associated forcings are proper
- Chang's conjecture and semiproperness of nonreasonable posets
- Internally club and approachable
- Forcing with sequences of models of two types
- Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
- The diagonal reflection principle
- Ideals and Generic Elementary Embeddings
- INTERNAL APPROACHABILITY AND REFLECTION
- Thin stationary sets and disjoint club sequences
- 𝐼[𝜔₂ can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)]
- Nonsplitting subset of κ(κ+)
- Projective Stationary Sets and a Strong Reflection Principle
- A very weak square principle
- A new Löwenheim-Skolem theorem
- Fragments of Martin's Maximum in generic extensions
- Set Theory
- Separating stationary reflection principles
- Indestructible guessing models and the continuum
- Semistationary and stationary reflection
- Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
