A new proof of a theorem of Magidor

Archive for Mathematical Logic 39 (3):209-211 (2000)
  Copy   BIBTEX

Abstract

We give a new proof using iterated Prikry forcing of Magidor's theorem that it is consistent to assume that the least strongly compact cardinal is the least supercompact cardinal

Categories

Keywords

Reprint years

DOI

10.1007/s001530050142

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Identity crises and strong compactness.Arthur W. Apter & James Cummings - 2000 - Journal of Symbolic Logic 65 (4):1895-1910.
Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor.Arthur W. Apter - 2000 - Mathematical Logic Quarterly 46 (4):453-460.
Level by level inequivalence beyond measurability.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (7-8):707-712.
Forcing disabled.M. C. Stanley - 1992 - Journal of Symbolic Logic 57 (4):1153-1175.
On the indestructibility aspects of identity crisis.Grigor Sargsyan - 2009 - Archive for Mathematical Logic 48 (6):493-513.
Inner models with large cardinal features usually obtained by forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.
On a problem of Foreman and Magidor.Arthur W. Apter - 2005 - Archive for Mathematical Logic 44 (4):493-498.
Universal indestructibility for degrees of supercompactness and strongly compact cardinals.Arthur W. Apter & Grigor Sargsyan - 2008 - Archive for Mathematical Logic 47 (2):133-142.
More on the Least Strongly Compact Cardinal.Arthur W. Apter - 1997 - Mathematical Logic Quarterly 43 (3):427-430.
Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness.Arthur W. Apter - 2007 - Archive for Mathematical Logic 46 (3-4):155-163.
A proofless proof of the Barwise compactness theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
Extended ultrapowers and the vopěnka-hrbáček theorem without choice.Mitchell Spector - 1991 - Journal of Symbolic Logic 56 (2):592-607.
An Easton theorem for level by level equivalence.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (3):247-253.
Tait's conservative extension theorem revisited.Ryota Akiyoshi - 2010 - Journal of Symbolic Logic 75 (1):155-167.

Analytics

Added to PP
2013-11-23

Downloads
34 (#456,993)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Level by level inequivalence beyond measurability.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (7-8):707-712.

Add more citations

References found in this work

Laver Indestructibility and the Class of Compact Cardinals.Arthur W. Apter - 1998 - Journal of Symbolic Logic 63 (1):149-157.
More on the Least Strongly Compact Cardinal.Arthur W. Apter - 1997 - Mathematical Logic Quarterly 43 (3):427-430.

Add more references