Identity crises and strong compactness

Journal of Symbolic Logic

Volumn 65, Issue 4, 2000, Pages 1895-1910

  After, Arthur W ^a   Cummings, James ^b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Identity crisis; Measurable cardinal; Reverse Easton iteration; Strongly compact cardinal; Supercompact cardinal

Indexed keywords

EID: 0034557612     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2695085     Document Type: Article

References (24)

1. ARTHUR W. AFTER, Some results on consecutive large cardinals, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 1-17.
2. _, On the first n strongly compact cardinals, Proceedings of the American Mathematical Society, vol. 123 (1995), pp. 2229-2235.
3. _, More on the least strongly compact cardinal, Mathematical Logic Quarterly, vol. 43 (1997), pp. 427-430.
4. _, Patterns of compact cardinals, Annals of Pure and Applied Logic, vol. 89 (1997), pp. 101-115.
5. _, Laver indestructibility and the class of compact cardinals, this JOURNAL, vol. 63 (1998), pp. 149-157.
6. _, On measurable limits of compact cardinals, this JOURNAL, vol. 64 (1999), pp. 1675-1688.
7. ARTHUR W. AFTER and SAHARON SHELAH, Menas' result is best possible, Transactions of the American Mathematical Society, vol. 349 (1997), pp. 2007-2034.
8. _, On the strong equality between supercompactness and strong compactness, Transactions of the American Mathematical Society, vol. 349 (1997), pp. 103-128.
9. J. BURGESS, Forcing, Handbook of Mathematical Logic (J. Barwise, editor), North-Holland, Amsterdam, 1977, pp. 403-452.
10. J. CUMMINGS, M. FOREMAN, and M. MAGIDOR, Squares, scales, and stationary reflection, to appear in the Journal of Mathematical Logic.
11. J. CUMMINGS and W.H. WOODIN, Generalised Prikry forcings, circulated manuscript of a forthcoming book.
12. JAMES CUMMINGS, A model in which GCH holds at successors but fails at limits, Transactions of the American Mathematical Society, vol. 329 (1992), pp. 1-39.
13. 2, this JOURNAL, vol. 43 (1978), pp. 394-401.
14. J. HAMKINS, Lifting and extending measures; fragile measurability, Ph.D. thesis, University of California, Berkeley, 1994.
15. T. JECH, Set theory, Academic Press, New York, 1978.
16. A. KANAMORI, The higher infinite, Springer-Verlag, Berlin, 1994.
17. A. KANAMORI and M. MAGIDOR, The evolution of large cardinal axioms in set theory, Lecture notes in mathematics 669, Springer-Verlag, Berlin, 1978, pp. 99-275.
18. Y. KIMCHI and M. MAGIDOR, The independence between the concepts of compactness and supercompactness, circulated manuscript.
19. RICHARD LAVER, Making the supercompactness of κ indestructible under κ-directed closed forcing, Israel Journal of Mathematics, vol. 29 (1978), pp. 385-388.
20. A. LÉVY and R. M. SOLOVAY, Measurable cardinals and the continuum hypothesis, Israel Journal of Mathematics, vol. 5 (1967), pp. 234-248.
21. MENACHEM MAGIDOR, How large is the first strongly compact cardinal?, Annals of Mathematical Logic, vol. 10 (1976), pp. 33-57.
22. A. MEKLER and S. SHELAH, When does κ-free imply strongly κ-Free?, Proceedings of the Third Conference on Abelian Group Theory, Gordon and Breach, Salzburg, 1987, pp. 137-148.
23. TELIS K. MENAS, On strong compactness and supercompactness, Annals of Mathematical Logic, vol. 7 (1974), pp. 327-359.
24. ROBERT M. SOLOVAY, WILLIAM N. REINHARDT, and AKIHIRO KANAMORI, Strong axioms of infinity and elementary embeddings, Annals of Mathematical Logic, vol. 13 (1978), pp. 73-116.