Canonical fragments of the strong reflection principle

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

zbMATH Keywords

forcing axiomsstationary reflectionMartin's maximumstrong reflection principlesubcomplete forcing

Mathematics Subject Classification ID

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 ω₁
• 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