Skip to main content Accessibility help

Reflecting stationary sets1

  • Menachem Magidor (a1)


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



Hide All

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



Hide All
[1]Baumgartner, J. E., A new class of order types, Annals of Mathematical Logic, vol. 9 (1976), pp. 187222.
[2]Baumgartner, J. E., Short course on forcing, Cambridge Summer School of Set Theory, 1978 (to appear).
[3]Beller, A. and Litman, A., A strengthening of Jensen's □ principles, this Journal, vol. 45 (1980), pp. 251264.
[4]Ben-David, S., On Shelah compactness of cardinals, Israel Journal of Mathematics, vol. 31 (1978), pp. 3456.
[5]Dodd, T. and Jensen, R., The core model, mimeographed notes, 1976.
[6]Erdös, P. and Rado, R., A partition calculus in set theory, Bulletin of the American Mathematical Society, vol. 62 (1965), pp. 93196.
[7]Fodor, G., Eine Bemerkung zur Theorie der regresiven Funktionen, Acta Scientiarum Mathematicarum (Szeged), vol. 17 (1956), pp. 139142.
[8]Harrington, L. and Shelah, S., Two equiconsistency results (to appear).
[9]Jech, T. J., Set theory, Academic Press, New York, 1978.
[10]Jech, T. J., Magidor, M., Mitchell, W. and Prikry, K., Precipitous ideals, this Journal, vol. 45 (1980), pp. 18.
[11]Jensen, R. B., The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229308.
[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. 99276.
[13]Keisler, H. J., Model theory for infinitary logic, North-Holland, Amsterdam, 1971.
[14]Kunen, K., Saturated ideals, this Journal, vol. 43 (1978), pp. 6576.
[15]Kunen, K. and Paris, J. B., Boolean extensions and measurable cardinals, Annals of Mathematical Logic, vol. 2 (1971), pp. 359378.
[16]Shelah, S., A weak generalization of MA to higher cardinals, Israel Journal of Mathematics, vol. 30 (1978), pp. 297360.
[17]Shelah, S., A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals, Israel Journal of Mathematics, vol. 21 (1975), pp. 319349.
[18]Shelah, S., The monadic theory of order, Annals of Mathematics, vol. 102 (1975), pp. 379419.
[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. 156.
[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. 73116.
[21]Solovay, R. M. and Tennenbaum, S., Iterated Cohen extensions and Souslin's problem, Annals of Mathematics, vol. 94 (1971), pp. 201245.
[22]Prikry, K. and Solovay, R. M., On partitions into stationary sets, this Journal, vol. 40 (1975), pp. 7580.


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed