Hostname: page-component-76fb5796d-vfjqv Total loading time: 0 Render date: 2024-04-26T12:45:43.895Z Has data issue: false hasContentIssue false

Strong compactness and stationary sets

Published online by Cambridge University Press:  12 March 2014

John Krueger*
Affiliation:
Kurt Gödel Research Center for Mathematical, Logic University of Vienna, Währingerstrasse 25 1090 Vienna, AustriaE-mail:, jkrueger@logic.univie.ac.at URL: http://www.logic.univie.ac.at/~jkrueger

Abstract

We construct a model in which there is a strongly compact cardinal κ such thai the set S(κ, κ+) ={ a Є Pκκ+: o.t.(a) = (a⋂ κ)+}is non-stationary.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2005

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]Baumgartner, J., Iterated forcing, Surveys in set theory (Mathias, A., editor). Cambridge University Press, 1983, pp. 159.Google Scholar
[2]Cummings, J., Iterated forcing and elementary embeddings, preprint.Google Scholar
[3]Gitik, M., Nonsplitting subset of Pκκ+, this Journal, vol. 50 (1985), no. 4. pp. 881894.Google Scholar
[4]Gitik, M., Introduction to Prikry type forcing notions, preprint.Google Scholar
[5]Kanamori, A., The higher infinite, Springer-Verlag, 1994.Google Scholar
[6]Krueger, J., Adding clubs with square, preprint.Google Scholar
[7]Krueger, J., Destroying stationary sets, preprint.Google Scholar
[8]Magidor, M., How large is the first strongly compact cardinal?, Annals of Mathematical Logic, vol. 10 (1976), pp. 3357.CrossRefGoogle Scholar