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)

Other Versions

No versions found

Links

PhilArchive

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.
Strong Compactness and Stationary Sets.John Krueger - 2005 - Journal of Symbolic Logic 70 (3):767 - 777.

Analytics

Added to PP
2010-09-12

Downloads
163 (#254,721)

6 months
41 (#201,897)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
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.

View all 6 references / Add more references