Separating diagonal stationary reflection principles

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

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.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2020.56

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,286

External links

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

Through your library

My notes

Similar books and articles

The Diagonal Strong Reflection Principle and its Fragments.C. O. X. Sean D. & Gunter Fuchs - 2023 - Journal of Symbolic Logic 88 (3):1281-1309.
Simultaneous stationary reflection and square sequences.Yair Hayut & Chris Lambie-Hanson - 2017 - Journal of Mathematical Logic 17 (2):1750010.
Canonical structure in the universe of set theory: Part two.James Cummings, Matthew Foreman & Menachem Magidor - 2006 - Annals of Pure and Applied Logic 142 (1):55-75.
Semistationary and stationary reflection.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
Separating stationary reflection principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Generic compactness reformulated.Bernhard König - 2004 - Archive for Mathematical Logic 43 (3):311-326.
Aronszajn trees, square principles, and stationary reflection.Chris Lambie-Hanson - 2017 - Mathematical Logic Quarterly 63 (3-4):265-281.
Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum.Sakaé Fuchino, André Ottenbreit Maschio Rodrigues & Hiroshi Sakai - 2021 - Archive for Mathematical Logic 60 (3):495-523.
Club-guessing, stationary reflection, and coloring theorems.Todd Eisworth - 2010 - Annals of Pure and Applied Logic 161 (10):1216-1243.
Two Upper Bounds on Consistency Strength of $negsquare{aleph{omega}}$ and Stationary Set Reflection at Two Successive $aleph_{n}$.Martin Zeman - 2017 - Notre Dame Journal of Formal Logic 58 (3):409-432.

Analytics

Added to PP
2021-02-16

Downloads
37 (#713,146)

6 months
11 (#405,985)

Historical graph of downloads
How can I increase my downloads?

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

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.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
Simultaneous stationary reflection and square sequences.Yair Hayut & Chris Lambie-Hanson - 2017 - Journal of Mathematical Logic 17 (2):1750010.
Diagonal reflections on squares.Gunter Fuchs - 2019 - Archive for Mathematical Logic 58 (1-2):1-26.
Knaster and friends II: The C-sequence number.Chris Lambie-Hanson & Assaf Rinot - 2020 - Journal of Mathematical Logic 21 (1):2150002.

Add more references