Menasβ Result is Best Possible
Authors:
Arthur W. Apter and Saharon Shelah
Journal:
Trans. Amer. Math. Soc. 349 (1997), 2007-2034
MSC (1991):
Primary 03E55; Secondary 03E35
DOI:
https://doi.org/10.1090/S0002-9947-97-01691-7
MathSciNet review:
1370634
Full-text PDF Free Access
Abstract | References | Similar Articles | Additional Information
Abstract: Generalizing some earlier techniques due to the second author, we show that Menasβ theorem which states that the least cardinal $\kappa$ which is a measurable limit of supercompact or strongly compact cardinals is strongly compact but not $2^{\kappa }$ supercompact is best possible. Using these same techniques, we also extend and give a new proof of a theorem of Woodin and extend and give a new proof of an unpublished theorem due to the first author.
- A. Apter, S. Shelah, On the Strong Equality between Supercompactness and Strong Compactness, Transactions AMS 349 (1997), 103β128.
- A. R. D. Mathias (ed.), Surveys in set theory, London Mathematical Society Lecture Note Series, vol. 87, Cambridge University Press, Cambridge, 1983. MR 823774
- Handbook of mathematical logic, Studies in Logic and the Foundations of Mathematics, vol. 90, North-Holland Publishing Co., Amsterdam, 1977. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. MR 457132
- James Cummings, A model in which GCH holds at successors but fails at limits, Trans. Amer. Math. Soc. 329 (1992), no. 1, 1β39. MR 1041044, DOI https://doi.org/10.1090/S0002-9947-1992-1041044-9
- J. Cummings, H. Woodin, Generalised Prikry Forcings, circulated manuscript of a forthcoming book.
- Thomas Jech, Set theory, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. Pure and Applied Mathematics. MR 506523
- Akihiro Kanamori, The higher infinite, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1994. Large cardinals in set theory from their beginnings. MR 1321144
- A. Kanamori and M. Magidor, The evolution of large cardinal axioms in set theory, Higher set theory (Proc. Conf., Math. Forschungsinst., Oberwolfach, 1977), Lecture Notes in Math., vol. 669, Springer, Berlin, 1978, pp. 99β275. MR 520190
- Y. Kimchi, M. Magidor, The Independence between the Concepts of Compactness and Supercompactness, circulated manuscript.
- Richard Laver, Making the supercompactness of $\kappa $ indestructible under $\kappa $-directed closed forcing, Israel J. Math. 29 (1978), no. 4, 385β388. MR 472529, DOI https://doi.org/10.1007/BF02761175
- A. LΓ©vy and R. M. Solovay, Measurable cardinals and the continuum hypothesis, Israel J. Math. 5 (1967), 234β248. MR 224458, DOI https://doi.org/10.1007/BF02771612
- Menachem Magidor, Changing cofinality of cardinals, Fund. Math. 99 (1978), no. 1, 61β71. MR 465868, DOI https://doi.org/10.4064/fm-99-1-61-71
- M. Magidor, On the role of supercompact and extendible cardinals in logic, Israel J. Math. 10 (1971), 147β157. MR 295904, DOI https://doi.org/10.1007/BF02771565
- Telis K. Menas, On strong compactness and supercompactness, Ann. Math. Logic 7 (1974/75), 327β359. MR 357121, DOI https://doi.org/10.1016/0003-4843%2875%2990009-1
- Alan H. Mekler and Saharon Shelah, When $\kappa $-free implies strongly $\kappa $-free, Abelian group theory (Oberwolfach, 1985) Gordon and Breach, New York, 1987, pp. 137β148. MR 1011309
- Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori, Strong axioms of infinity and elementary embeddings, Ann. Math. Logic 13 (1978), no. 1, 73β116. MR 482431, DOI https://doi.org/10.1016/0003-4843%2878%2990031-1
Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 03E55, 03E35
Retrieve articles in all journals with MSC (1991): 03E55, 03E35
Additional Information
Arthur W. Apter
Affiliation:
Department of Mathematics, Baruch College of CUNY, New York, New York 10010
MR Author ID:
26680
Email:
awabb@cunyvm.cuny.edu
Saharon Shelah
Affiliation:
Department of Mathematics, The Hebrew University, Jerusalem, Israel;
Department of Mathematics, Rutgers University, New Brunswick, New Jersey 08904
MR Author ID:
160185
ORCID:
0000-0003-0462-3152
Email:
shelah@math.huji.ac.il, shelah@math.rutgers.edu
Received by editor(s):
March 3, 1995
Received by editor(s) in revised form:
December 13, 1995
Additional Notes:
The research of the first author was partially supported by PSC-CUNY Grant 662341 and a salary grant from Tel Aviv University. In addition, the first author wishes to thank the Mathematics Departments of Hebrew University and Tel Aviv University for the hospitality shown him during his sabbatical in Israel.
Publication 496. The second author wishes to thank the Basic Research Fund of the Israeli Academy of Sciences for partially supporting this research.
Article copyright:
© Copyright 1997
American Mathematical Society
