Menas' result is best possible

Transactions of the American Mathematical Society

Volumn 349, Issue 5, 1997, Pages 2007-2034

  After, Arthur W ^a,c   Shelah, Saharon ^b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b HEBREW UNIVERSITY OF JERUSALEM   (Israel)

^c RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21744453877     PISSN: 00029947     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. [ AS] A. Apter, S. Shelah, On the Strong Equality between Supercompactness and Strong Compactness, Transactions AMS 349 (1997), 103-128
2. [ Ba] J. Baumgartner, Iterated Forcing, Surveys in Set Theory (A. Mathias, ed.), Cambridge University Press, Cambridge, England, 1983, pp. 1-59. MR 86m:03005
3. [ Bu] J. Burgess, Forcing, Handbook of Mathematical Logic (J. Barwise, ed.), North-Holland, Amsterdam, 1977, pp. 403-452.. MR 56:15351
4. [ C] J. Cummings, A Model in which GCH Holds at Successors but Fails at Limits, Transactions AMS 329 (1992), 1-39. MR 92h:03076
5. [ CW] J. Cummings, H. Woodin, Generalised Prikry Forcings, circulated manuscript of a forthcoming book
6. [ J] T. Jech, Set Theory, Academic Press, New York, 1978. MR 80a:030G2
7. [ Ka] A. Kanamori, The Higher Infinite, Springer-Verlag, New York and Berlin, 1994. MR 96k:03125
8. [ KaM] A. Kanamori, M. Magidor, The Evolution of Large Cardinal Axioms in Set Theory Lecture Notes in Mathematics, vol. 669, Springer-Verlag, Berlin, 1978, pp. 99-275. M 80b:03083
9. [ KiM] Y. Kimchi, M. Magidor, The Independence between the Concepts of Compactness an Supercompactness, circulated manuscript.
10. [ L] R. Laver, Making the Supercompactness of K Indestructible under K-Directed Close Forcing, Israel J. Math. 29 (1978), 385-388. MR 57:12226
11. [ LS] A. Levy, R. Solovay, Measurable Cardinals and the Continuum Hypothesis, Israel J. Math 5 (1967), 234-248. MR 37:57
12. [ Mal] M. Magidor, Changing Cofinality of Cardinals, Fundamenta Mathematicae 99 (1978) 61-71. MR 57:5754
13. [ Ma2]On the Role of Supercompact and Extendable Cardinals in Logic, Israel J. Math 10 (1971), 147-157. MR 45:4966
14. [ Me] T. Menas, On Strong Compactness and Supercompactness, Annals Math. Logic 7 (1975) 327-359. MR 50:9589
15. [ MS] A. Mekler, S. Shelah, Does K-Free Imply Strongly K-Free?, Proceedings of the Thir Conference on Abelian Group Theory, Gordon and Breach, Salzburg, 1987, pp. 137-148 MR 90f:20082
16. [ SRK] R. Solovay, W. Reinhardt, A. Kanamori, Strong Axioms of Infinity and Elementar Embeddings, Annals Math. Logic 13 (1978), 73-116. MR 80h:03072