Semistationary and stationary reflection

Journal of Symbolic Logic 73 (1):181-192 (2008)
  Copy   BIBTEX

Abstract

We study the relationship between the semistationary reflection principle and stationary reflection principles. We show that for all regular cardinals Λ ≥ ω₂ the semistationary reflection principle in the space [Λ](1) implies that every stationary subset of $E_{\omega}^{\lambda}\coloneq \{\alpha \in \lambda \,|\,{\rm cf}(\alpha)=\omega \}$ reflects. We also show that for all cardinals Λ ≥ ω₃ the semistationary reflection principle in [Λ](1) does not imply the stationary reflection principle in [Λ](1)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Full reflection at a measurable cardinal.Thomas Jech & Jiří Witzany - 1994 - Journal of Symbolic Logic 59 (2):615-630.
Separating stationary reflection principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Full reflection of stationary sets below ℵω.Thomas Jech & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (2):822 - 830.
Reflecting stationary sets.Menachem Magidor - 1982 - Journal of Symbolic Logic 47 (4):755-771.
Strong analogues of Martin's axiom imply axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
On ideals and stationary reflection.C. A. Johnson - 1989 - Journal of Symbolic Logic 54 (2):568-575.
Stationary reflection for uncountable cofinality.Péter Komjáth - 1986 - Journal of Symbolic Logic 51 (1):147-151.
Co-stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Stationary reflection and ideals.Shu-Guo Zhang - 1994 - Journal of Symbolic Logic 59 (1):182-184.
Strong Compactness and Stationary Sets.John Krueger - 2005 - Journal of Symbolic Logic 70 (3):767 - 777.

Analytics

Added to PP
2010-09-12

Downloads
49 (#322,509)

6 months
9 (#300,363)

Historical graph of downloads
How can I increase my downloads?

References found in this work

A global version of a theorem of Ben-David and Magidor.Arthur W. Apter & James Cummings - 2000 - Annals of Pure and Applied Logic 102 (3):199-222.
Countable approximations and Löwenheim-Skolem theorems.David W. Kueker - 1977 - Annals of Mathematical Logic 11 (1):57.

Add more references