Annals of Pure and Applied Logic 164 (12):1247-1273 (2013)

Authors
Abstract
In this paper we introduce some fusion properties of forcing notions which guarantee that an iteration with supports of size ⩽κ not only does not collapse κ+ but also preserves the strength of κ. This provides a general theory covering the known cases of tree iterations which preserve large cardinals [3], Friedman and Halilović [5], Friedman and Honzik [6], Friedman and Magidor [8], Friedman and Zdomskyy [10], Honzik [12]).
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2013.06.011
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


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

References found in this work BETA

Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
Set Theory.Thomas Jech - 1981 - Journal of Symbolic Logic.
The Lottery Preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.

View all 14 references / Add more references

Citations of this work BETA

Regularity Properties on the Generalized Reals.Sy David Friedman, Yurii Khomskii & Vadim Kulikov - 2016 - Annals of Pure and Applied Logic 167 (4):408-430.
Definable Normal Measures.Sy-David Friedman & Liuzhen Wu - 2015 - Annals of Pure and Applied Logic 166 (1):46-60.
A Laver-Like Indestructibility for Hypermeasurable Cardinals.Radek Honzik - 2019 - Archive for Mathematical Logic 58 (3-4):275-287.

Add more citations

Similar books and articles

Implications Between Strong Large Cardinal Axioms.Richard Laver - 1997 - Annals of Pure and Applied Logic 90 (1-3):79-90.
Eastonʼs Theorem and Large Cardinals From the Optimal Hypothesis.Sy-David Friedman & Radek Honzik - 2012 - Annals of Pure and Applied Logic 163 (12):1738-1747.
Perfect Trees and Elementary Embeddings.Sy-David Friedman & Katherine Thompson - 2008 - Journal of Symbolic Logic 73 (3):906-918.
Large Cardinals and Ramifiability for Directed Sets.R. Hinnion & O. Esser - 2000 - Mathematical Logic Quarterly 46 (1):25-34.
The Failure of GCH at a Degree of Supercompactness.Brent Cody - 2012 - Mathematical Logic Quarterly 58 (1):83-94.
The Number of Normal Measures.Sy-David Friedman & Menachem Magidor - 2009 - Journal of Symbolic Logic 74 (3):1069-1080.
Distributive Proper Forcing Axiom and Cardinal Invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
A Lifting Argument for the Generalized Grigorieff Forcing.Radek Honzík & Jonathan Verner - 2016 - Notre Dame Journal of Formal Logic 57 (2):221-231.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
Tall Cardinals.Joel D. Hamkins - 2009 - Mathematical Logic Quarterly 55 (1):68-86.

Analytics

Added to PP index
2013-12-12

Total views
35 ( #292,427 of 2,410,239 )

Recent downloads (6 months)
1 ( #540,207 of 2,410,239 )

How can I increase my downloads?

Downloads

My notes