Fusion and large cardinal preservation

, &
Annals of Pure and Applied Logic 164 (12):1247-1273 (2013)
  Copy   BIBTEX

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]).

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2013.06.011

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

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

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.
Cardinal characteristics, projective wellorders and large continuum.Vera Fischer, Sy David Friedman & Lyubomyr Zdomskyy - 2013 - Annals of Pure and Applied Logic 164 (7-8):763-770.
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.
Fusion.Katherine Hawley - manuscript
Distributive proper forcing axiom and cardinal invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
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.
Double helix in large large cardinals and iteration of elementary embeddings.Kentaro Sato - 2007 - Annals of Pure and Applied Logic 146 (2):199-236.
A Lifting Argument for the Generalized Grigorieff Forcing.Radek Honzík & Jonathan Verner - 2016 - Notre Dame Journal of Formal Logic 57 (2):221-231.
Indestructibility, measurability, and degrees of supercompactness.Arthur W. Apter - 2012 - Mathematical Logic Quarterly 58 (1):75-82.
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
2013-12-12

Downloads
51 (#317,811)

6 months
13 (#215,089)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Regularity properties on the generalized reals.Sy David Friedman, Yurii Khomskii & Vadim Kulikov - 2016 - Annals of Pure and Applied Logic 167 (4):408-430.
A Laver-like indestructibility for hypermeasurable cardinals.Radek Honzik - 2019 - Archive for Mathematical Logic 58 (3-4):275-287.
A Lifting Argument for the Generalized Grigorieff Forcing.Radek Honzík & Jonathan Verner - 2016 - Notre Dame Journal of Formal Logic 57 (2):221-231.

View all 7 citations / Add more citations

References found in this work

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