Canonical fragments of the strong reflection principle
From MaRDI portal
Publication:5163173
DOI10.1142/S0219061321500239OpenAlexW3156958349MaRDI QIDQ5163173
No author found.
Publication date: 3 November 2021
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2009.06065
Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other set-theoretic hypotheses and axioms (03E65) Other aspects of forcing and Boolean-valued models (03E40) Generic absoluteness and forcing axioms (03E57)
Related Items
Forcing axioms and the complexity of non-stationary ideals ⋮ THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the structure of stationary sets
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
- Bounded forcing axioms as principles of generic absoluteness
- Weak square and stationary reflection
- Diagonal reflections on squares
- Closure properties of parametric subcompleteness
- SQUARES, SCALES AND STATIONARY REFLECTION
- Notes on Forcing Axioms
- Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω1
- Stationary Sets
- Martin’s maximum and weak square
- SUBCOMPLETE FORCING AND ℒ-FORCING
- On Closed Sets of Ordinals
- Chains of end elementary extensions of models of set theory
- Projective Stationary Sets and a Strong Reflection Principle
- A maximal bounded forcing axiom
- HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES
- HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS
- The bounded proper forcing axiom
- Separating stationary reflection principles
- SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES
- ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS
- Subcomplete forcing principles and definable well‐orders
- The fine structure of the constructible hierarchy
- Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
- THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS