Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-16T23:08:03.891Z Has data issue: false hasContentIssue false

Semistationary and stationary reflection

Published online by Cambridge University Press:  12 March 2014

Hiroshi Sakai*
Affiliation:
Graduate School of Information Science, Nagoya University, Japan, E-mail: [email protected]

Abstract

We study the relationship between the semistationary reflection principle and stationary reflection principles. We show that for all regular cardinals λω2 the semistationary reflection principle in the space [λ]ω implies that every stationary subset of ≔ {αλ ∣ cf(α) = ω} reflects. We also show that for all cardinals λω3 the semistationary reflection principle in [λ]ω does not imply the stationary reflection principle in [λ]ω.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2008

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Apter, A. W. and Cummings, J., A global version of a theorem of Ben-David and Magidor, Annals of Pure and Applied Logic, vol. 102 (2000), no. 3, pp. 199222.CrossRefGoogle Scholar
[2]Feng, Q. and Jech, T., Local clubs, reflection, and preserving stationary sets, Proceedings of the London Mathematical Society, vol. 58 (1989), no. 2, pp. 237257.CrossRefGoogle Scholar
[3]Foreman, M., Magidor, M., and Shelah, S., Martins maximum, saturated ideals and nonregular ultrafilters I, Annals of Mathematics, vol. 127 (1988), no. 1, pp. 147.CrossRefGoogle Scholar
[4]Jech, T., Set Theory, 3rd ed., Springer-Verlag, Berlin, 2002.Google Scholar
[5]Krueger, J., Strong compactness and stationary sets, this Journal, vol. 70 (2005), no. 3, pp. 767777.Google Scholar
[6]Kueker, D. W., Countable approximations and Löwenheim–Skolem theorems, Annals of Mathematical Logic, vol. 11 (1977), no. 1, pp. 57103.CrossRefGoogle Scholar
[7]Magidor, M., How large is the first strongly compact cardinal?, Annals of Mathematical Logic, vol. 10 (1976), no. 1, pp. 3357.CrossRefGoogle Scholar
[8]Menas, T. K., On strong compactness and supercompactness, Annals of Mathematical Logic, vol. 1 (1974/1975), pp. 327359.Google Scholar
[9]Shelah, S., Proper and Improper Forcing, Perspectives in Mathematical Logic, vol. 29, Springer-Verlag, Berlin, 1998.CrossRefGoogle Scholar
[10]Shelah, S., Stationary reflection implies SCH, preprint.Google Scholar
[11]Shelah, S. and Shioya, M., Nonreflecting stationary sets in P κλ, Advances in Mathematics, vol. 199 (2006), pp. 185191.CrossRefGoogle Scholar
[12]Todorčević, S., Conjectures of Rado and Chang and cardinal arithmetic, Finite and infinite combinatorics in sets and logic (Sauer, N., Woodrow, R., and Sands, B., editors), Kluwer Academic Publishers, 1993, pp. 385398.CrossRefGoogle Scholar