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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

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.
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.
Bounded stationary reflection II.Chris Lambie-Hanson - 2017 - Annals of Pure and Applied Logic 168 (1):50-71.
We prove covering theorems for K, where K is the core model below the sharp for a strong cardinal, and give an application to stationary set reflection.David Asperó, John Krueger & Yasuo Yoshinobu - 2010 - Annals of Pure and Applied Logic 161 (1):94-108.
Possible behaviours of the reflection ordering of stationary sets.Jiří Witzany - 1995 - Journal of Symbolic Logic 60 (2):534-547.
Full reflection at a measurable cardinal.Thomas Jech & Jiří Witzany - 1994 - Journal of Symbolic Logic 59 (2):615-630.
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.
A consistency proof for some restrictions of Tait's reflection principles.Rupert McCallum - 2013 - Mathematical Logic Quarterly 59 (1-2):112-118.
Club-guessing, stationary reflection, and coloring theorems.Todd Eisworth - 2010 - Annals of Pure and Applied Logic 161 (10):1216-1243.

Analytics

Added to PP
2021-02-16

Downloads
16 (#886,588)

6 months
6 (#512,819)

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.
Scales, squares and reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (1):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.
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