Indestructibility under adding Cohen subsets and level by level equivalence

Mathematical Logic Quarterly 55 (3):271-279 (2009)
  Copy   BIBTEX

Abstract

We construct a model for the level by level equivalence between strong compactness and supercompactness in which the least supercompact cardinal κ has its strong compactness indestructible under adding arbitrarily many Cohen subsets. There are no restrictions on the large cardinal structure of our model

Categories

Keywords

Reprint years

DOI

10.1002/malq.200810006

Links

PhilArchive



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

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

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.
A universal indestructibility theorem compatible with level by level equivalence.Arthur W. Apter - 2015 - Archive for Mathematical Logic 54 (3-4):463-470.
Indestructibility and the level-by-level agreement between strong compactness and supercompactness.Arthur W. Apter & Joel David Hamkins - 2002 - Journal of Symbolic Logic 67 (2):820-840.
Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence.Arthur W. Apter - 2006 - Mathematical Logic Quarterly 52 (5):457-463.
Failures of SCH and Level by Level Equivalence.Arthur W. Apter - 2006 - Archive for Mathematical Logic 45 (7):831-838.
An Easton theorem for level by level equivalence.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (3):247-253.
Diamond, square, and level by level equivalence.Arthur W. Apter - 2005 - Archive for Mathematical Logic 44 (3):387-395.
Indestructible strong compactness and level by level inequivalence.Arthur W. Apter - 2013 - Mathematical Logic Quarterly 59 (4-5):371-377.
Tallness and level by level equivalence and inequivalence.Arthur W. Apter - 2010 - Mathematical Logic Quarterly 56 (1):4-12.
Failure of GCH and the level by level equivalence between strong compactness and supercompactness.Arthur W. Apter - 2003 - Mathematical Logic Quarterly 49 (6):587.
Splitting families and forcing.Miloš S. Kurilić - 2007 - Annals of Pure and Applied Logic 145 (3):240-251.
Inaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence.Arthur W. Apter - 2014 - Notre Dame Journal of Formal Logic 55 (4):431-444.
Reducing the consistency strength of an indestructibility theorem.Arthur W. Apter - 2008 - Mathematical Logic Quarterly 54 (3):288-293.
Level by level equivalence and strong compactness.Arthur W. Apter - 2004 - Mathematical Logic Quarterly 50 (1):51.

Analytics

Added to PP
2013-12-01

Downloads
32 (#494,786)

6 months
6 (#510,434)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
On strong compactness and supercompactness.Telis K. Menas - 1975 - Annals of Mathematical Logic 7 (4):327-359.
The lottery preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.

View all 19 references / Add more references