Level by level inequivalence beyond measurability

Archive for Mathematical Logic 50 (7-8):707-712 (2011)
  Copy   BIBTEX

Abstract

We construct models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In each model, above the supercompact cardinal, there are finitely many strongly compact cardinals, and the strongly compact and measurable cardinals precisely coincide.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-011-0243-x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

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

Tallness and level by level equivalence and inequivalence.Arthur W. Apter - 2010 - Mathematical Logic Quarterly 56 (1):4-12.
Indestructible strong compactness and level by level inequivalence.Arthur W. Apter - 2013 - Mathematical Logic Quarterly 59 (4-5):371-377.
Level by level equivalence and strong compactness.Arthur W. Apter - 2004 - Mathematical Logic Quarterly 50 (1):51.
Failures of SCH and Level by Level Equivalence.Arthur W. Apter - 2006 - Archive for Mathematical Logic 45 (7):831-838.
Indestructibility, instances of strong compactness, and level by level inequivalence.Arthur W. Apter - 2010 - Archive for Mathematical Logic 49 (7-8):725-741.
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.
Indestructibility and level by level equivalence and inequivalence.Arthur W. Apter - 2007 - Mathematical Logic Quarterly 53 (1):78-85.
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.
Failure of GCH and the level by level equivalence between strong compactness and supercompactness.Arthur W. Apter - 2003 - Mathematical Logic Quarterly 49 (6):587.
Precisely controlling level by level behavior.Arthur W. Apter - 2017 - Mathematical Logic Quarterly 63 (1-2):77-84.

Analytics

Added to PP
2013-10-27

Downloads
62 (#343,060)

6 months
8 (#583,676)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the consistency strength of level by level inequivalence.Arthur W. Apter - 2017 - Archive for Mathematical Logic 56 (7-8):715-723.
Precisely controlling level by level behavior.Arthur W. Apter - 2017 - Mathematical Logic Quarterly 63 (1-2):77-84.

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.
Identity crises and strong compactness.Arthur Apter & James Cummings - 2000 - Journal of Symbolic Logic 65 (4):1895-1910.
Some results on consecutive large cardinals.Arthur W. Apter - 1983 - Annals of Pure and Applied Logic 25 (1):1-17.

View all 9 references / Add more references