Gap forcing
From MaRDI portal
Publication:5951514
DOI10.1007/BF02773382zbMath1010.03042arXivmath/9808011OpenAlexW3037992247MaRDI QIDQ5951514
Publication date: 3 April 2003
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9808011
Related Items (40)
Identity crises and strong compactness. III: Woodin cardinals ⋮ Internally club and approachable ⋮ Coding into HOD via normal measures with some applications ⋮ Failures of SCH and level by level equivalence ⋮ INDESTRUCTIBILITY WHEN THE FIRST TWO MEASURABLE CARDINALS ARE STRONGLY COMPACT ⋮ The least strongly compact can be the least strong and indestructible ⋮ On the Hamkins approximation property ⋮ Unnamed Item ⋮ On the consistency strength of level by level inequivalence ⋮ SPECIALISING TREES WITH SMALL APPROXIMATIONS I ⋮ Fresh function spectra ⋮ Precisely controlling level by level behavior ⋮ A remark on the tree property in a choiceless context ⋮ Indestructible strong compactness but not supercompactness ⋮ Perfect subtree property for weakly compact cardinals ⋮ Strong combinatorial principles and level by level equivalence ⋮ On the consistency strength of the proper forcing axiom ⋮ More on HOD-supercompactness ⋮ NORMAL MEASURES ON A TALL CARDINAL ⋮ An \(L\)-like model containing very large cardinals ⋮ The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond ⋮ Fragility and indestructibility. II ⋮ Indestructibility and measurable cardinals with few and many measures ⋮ Universal indestructibility for degrees of supercompactness and strongly compact cardinals ⋮ Inaccessible cardinals, failures of GCH, and level-by-level equivalence ⋮ Indestructibility, instances of strong compactness, and level by level inequivalence ⋮ Diamond, square, and level by level equivalence ⋮ An equiconsistency for universal indestructibility ⋮ Normal measures and strongly compact cardinals ⋮ Indestructibility and destructible measurable cardinals ⋮ Superstrong and other large cardinals are never Laver indestructible ⋮ Strongly compact cardinals and the continuum function ⋮ Indestructibility, measurability, and degrees of supercompactness ⋮ Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model ⋮ Indestructible strong compactness and level by level inequivalence ⋮ A universal indestructibility theorem compatible with level by level equivalence ⋮ Large cardinals with few measures ⋮ Indestructibility and the level-by-level agreement between strong compactness and supercompactness ⋮ Adding closed unbounded subsets of \(\omega_2\) with finite forcing ⋮ ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS
Cites Work
- Unnamed Item
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- Destruction or preservation as you like it
- Measurable cardinals and the continuum hypothesis
- Superdestructibility: A dual to Laver's indestructibility
- Gap Forcing: Generalizing the Lévy-Solovay Theorem
- Canonical seeds and Prikry trees
- Small forcing makes any cardinal superdestructible
- Small forcing creates neither strong nor Woodin cardinals
- Aronszajn trees and the independence of the transfer property
This page was built for publication: Gap forcing
