Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-17T07:03:36.187Z Has data issue: false hasContentIssue false
  • English
  • Français

Reflecting stationary sets1

Published online by Cambridge University Press:  12 March 2014

Menachem Magidor
Menachem Magidor*
Affiliation:
The Hebrew University, Jerusalem, Israel
Get access Rights & Permissions [Opens in a new window]

Abstract

We prove that the statement “For every pair A, B, stationary subsets of ω2, composed of points of cofinality ω, there exists an ordinal α such that both A ∩ α and B ∩ α are stationary subsets of α is equiconsistent with the existence of weakly compact cardinal. (This completes results of Baumgartner and Harrington and Shelah.)

We also prove, assuming the existence of infinitely many supercompact cardinals, the statement “Every stationary subset of ωω+1 has a stationary initial segment.”

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 47 , Issue 4 , December 1982 , pp. 755 - 771
Copyright
Copyright © Association for Symbolic Logic 1982

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.)

Footnotes

1

The author is grateful to Saharon Shelah for many helpful discussions concerning this paper.

References

REFERENCES

[1]Baumgartner, J. E., A new class of order types, Annals of Mathematical Logic, vol. 9 (1976), pp. 187–222.CrossRefGoogle Scholar
[2]Baumgartner, J. E., Short course on forcing, Cambridge Summer School of Set Theory, 1978 (to appear).Google Scholar
[3]Beller, A. and Litman, A., A strengthening of Jensen's □ principles, this Journal, vol. 45 (1980), pp. 251–264.Google Scholar
[4]Ben-David, S., On Shelah compactness of cardinals, Israel Journal of Mathematics, vol. 31 (1978), pp. 34–56.CrossRefGoogle Scholar
[5]Dodd, T. and Jensen, R., The core model, mimeographed notes, 1976.Google Scholar
[6]Erdös, P. and Rado, R., A partition calculus in set theory, Bulletin of the American Mathematical Society, vol. 62 (1965), pp. 93–196.Google Scholar
[7]Fodor, G., Eine Bemerkung zur Theorie der regresiven Funktionen, Acta Scientiarum Mathematicarum (Szeged), vol. 17 (1956), pp. 139–142.Google Scholar
[8]Harrington, L. and Shelah, S., Two equiconsistency results (to appear).Google Scholar
[9]Jech, T. J., Set theory, Academic Press, New York, 1978.Google Scholar
[10]Jech, T. J., Magidor, M., Mitchell, W. and Prikry, K., Precipitous ideals, this Journal, vol. 45 (1980), pp. 1–8.Google Scholar
[11]Jensen, R. B., The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229–308.CrossRefGoogle Scholar
[12]Kanamori, A. and Magidor, M., The development of large cardinals axioms in set theory, Higher set theory, Lecture Notes in Mathematics, vol. 699, Springer-Verlag, Berlin and New York, pp. 99–276.Google Scholar
[13]Keisler, H. J., Model theory for infinitary logic, North-Holland, Amsterdam, 1971.Google Scholar
[14]Kunen, K., Saturated ideals, this Journal, vol. 43 (1978), pp. 65–76.Google Scholar
[15]Kunen, K. and Paris, J. B., Boolean extensions and measurable cardinals, Annals of Mathematical Logic, vol. 2 (1971), pp. 359–378.CrossRefGoogle Scholar
[16]Shelah, S., A weak generalization of MA to higher cardinals, Israel Journal of Mathematics, vol. 30 (1978), pp. 297–360.CrossRefGoogle Scholar
[17]Shelah, S., A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals, Israel Journal of Mathematics, vol. 21 (1975), pp. 319–349.CrossRefGoogle Scholar
[18]Shelah, S., The monadic theory of order, Annals of Mathematics, vol. 102 (1975), pp. 379–419.CrossRefGoogle Scholar
[19]Solovay, R. M., A model of set theory in which every set of reals is Lebesgue measurable, Annals of Mathematics, vol. 92 (1970), pp. 1–56.CrossRefGoogle Scholar
[20]Solovay, R. M., Reinhardt, W. N. and Kanamori, A., Strong axioms of infinity and elementary embedding, Annals of Mathematical Logic, vol. 13 (1978), pp. 73–116.CrossRefGoogle Scholar
[21]Solovay, R. M. and Tennenbaum, S., Iterated Cohen extensions and Souslin's problem, Annals of Mathematics, vol. 94 (1971), pp. 201–245.CrossRefGoogle Scholar
[22]Prikry, K. and Solovay, R. M., On partitions into stationary sets, this Journal, vol. 40 (1975), pp. 75–80.Google Scholar