Separating diagonal stationary reflection principles

Journal of Symbolic Logic 86 (1):262-292 (2021)

Abstract

We introduce three families of diagonal reflection principles for matrices of stationary sets of ordinals. We analyze both their relationships among themselves and their relationships with other known principles of simultaneous stationary reflection, the strong reflection principle, and the existence of square sequences.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,660

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2021-02-16

Downloads
7 (#1,075,374)

6 months
1 (#388,311)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

Separating Stationary Reflection Principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Separating Stationary Reflection Principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Simultaneous Stationary Reflection and Square Sequences.Yair Hayut & Chris Lambie-Hanson - 2017 - Journal of Mathematical Logic 17 (2):1750010.
Aronszajn Trees, Square Principles, and Stationary Reflection.Chris Lambie-Hanson - 2017 - Mathematical Logic Quarterly 63 (3-4):265-281.
Semistationary and Stationary Reflection.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
Generic Compactness Reformulated.Bernhard König - 2004 - Archive for Mathematical Logic 43 (3):311-326.
Diagonal Reflections on Squares.Gunter Fuchs - 2019 - Archive for Mathematical Logic 58 (1-2):1-26.
Bounded Stationary Reflection II.Chris Lambie-Hanson - 2017 - Annals of Pure and Applied Logic 168 (1):50-71.
Full Reflection at a Measurable Cardinal.Thomas Jech & Jiří Witzany - 1994 - Journal of Symbolic Logic 59 (2):615-630.
Club-Guessing, Stationary Reflection, and Coloring Theorems.Todd Eisworth - 2010 - Annals of Pure and Applied Logic 161 (10):1216-1243.

References found in this work

Squares, Scales and Stationary Reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Scales, Squares and Reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (1):35-98.
Simultaneous Stationary Reflection and Square Sequences.Yair Hayut & Chris Lambie-Hanson - 2017 - Journal of Mathematical Logic 17 (2):1750010.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
Knaster and Friends II: The C-Sequence Number.Chris Lambie-Hanson & Assaf Rinot - 2020 - Journal of Mathematical Logic 21 (1):2150002.

View all 6 references / Add more references

Citations of this work

Aronszajn Tree Preservation and Bounded Forcing Axioms.Gunter Fuchs - 2021 - Journal of Symbolic Logic 86 (1):293-315.

Add more citations