Forcing Indestructibility of Set-Theoretic Axioms

Journal of Symbolic Logic 72 (1):349 - 360 (2007)
Abstract
Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Lévy collapse. These show in particular that certain applications of forcing axioms require to add generic countable sequences high up in the set-theoretic hierarchy even before collapsing everything down to ‮א‬₁. Later we give applications, among them the consistency of MM with ‮א‬ω not being Jónsson which answers a question raised in the set theory meeting at Oberwolfach in 2005
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1174668399
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,537
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

The Combinatorial Essence of Supercompactness.Christoph Weiß - 2012 - Annals of Pure and Applied Logic 163 (11):1710-1717.

Add more citations

Similar books and articles

Small Forcing Makes Any Cardinal Superdestructible.Joel David Hamkins - 1998 - Journal of Symbolic Logic 63 (1):51-58.
A Maximal Bounded Forcing Axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.
Projective Well-Orderings and Bounded Forcing Axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557 - 572.
Laver Indestructibility and the Class of Compact Cardinals.Arthur W. Apter - 1998 - Journal of Symbolic Logic 63 (1):149-157.
The Axioms of Set Theory.Da Silva Jairo José - 2002 - Axiomathes 13 (2):107-126.
The Independence of Δ1n.Amir Leshem & Menachem Magidor - 1999 - Journal of Symbolic Logic 64 (1):350 - 362.
E Pluribus Unum: Plural Logic and Set Theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.
Simple Forcing Notions and Forcing Axioms.Andrzej Rosłanowski & Saharon Shelah - 1997 - Journal of Symbolic Logic 62 (4):1297-1314.
An Order-Theoretic Account of Some Set-Theoretic Paradoxes.Thomas Forster & Thierry Libert - 2011 - Notre Dame Journal of Formal Logic 52 (1):1-19.
Axioms for the Set-Theoretic Hierarchy.James Van Aken - 1986 - Journal of Symbolic Logic 51 (4):992-1004.

Analytics

Added to PP index
2010-08-24

Total downloads
5 ( #718,905 of 2,287,748 )

Recent downloads (6 months)
1 ( #393,085 of 2,287,748 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature