THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS

DOI10.1017/JSL.2023.3MaRDI QIDQ6095983zbMATH OpenOpenAlexFDO

Authors

Publication date 11 September 2023

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

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

zbMATH Keywords

diagonal reflectionforcing axiomsreflection principlesstrong reflection principle

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Generic absoluteness and forcing axioms (03E57) Applications of set theory (03E75)

Abstract: A diagonal version of the strong reflection principle is introduced, along with fragments of this principle associated to arbitrary forcing classes. The relationships between the resulting principles and related principles, such as the corresponding forcing axioms and the corresponding fragments of the strong reflection principle are analyzed, and consequences are presented. Some of these consequences are ``exact versions of diagonal stationary reflection principles of sets of ordinals. We also separate some of these diagonal strong reflection principles from related axioms.

Recommendations

• Canonical fragments of the strong reflection principle
• On diagonal solutions of the reflection equation
• The diagonal reflection principle
• On the weak reflection principle
• A strong reflection principle
• scientific article; zbMATH DE number 1191229
• Discrete reflexivity and complements of the diagonal
• SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES
• Diagonalizing operators with reflection symmetry
• Diagonal solutions to reflection equations in higher spin models

Cites work

• E-Recursion, Forcing and C*-Algebras
• Canonical fragments of the strong reflection principle
• Diagonal reflections on squares
• FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• On Closed Sets of Ordinals
• On iterating semiproper preorders
• Projective Stationary Sets and a Strong Reflection Principle
• SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES
• Separating stationary reflection principles
• Set Theory
• Smoke and mirrors: combinatorial properties of small cardinals equiconsistent with huge cardinals
• Stationary sets
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The diagonal reflection principle
• Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)

Cited in

(4)

• The strong reflecting property and Harrington's Principle
• On diagonal solutions of the reflection equation
• Canonical fragments of the strong reflection principle
• Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing

This page was built for publication: THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS

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