Archive for Mathematical Logic 58 (3-4):275-287 (2019)

Abstract
We show that if \ is \\)-hypermeasurable for some cardinal \ with \ \le \mu \) and GCH holds, then we can extend the universe by a cofinality-preserving forcing to obtain a model \ in which the \\)-hypermeasurability of \ is indestructible by the Cohen forcing at \ of any length up to \ is \\)-hypermeasurable in \). The preservation of hypermeasurability is useful for subsequent arguments. The construction of \ is based on the ideas of Woodin and Cummings :1–39, 1992) for preservation of measurability, but suitably generalised and simplified to achieve a more general result. Unlike the Laver preparation :385–388, 1978) for a supercompact cardinal, our preparation non-trivially increases the value of \, which is equal to \ in \ is still true in \ if we start with GCH).
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
ISBN(s)
DOI 10.1007/s00153-018-0637-0
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: 70,337
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Lottery Preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
The Negation of the Singular Cardinal Hypothesis From o=K++.Moti Gitik - 1989 - Annals of Pure and Applied Logic 43 (3):209-234.
Aronszajn Trees on ℵ2 and ℵ3.Uri Abraham - 1983 - Annals of Mathematical Logic 24 (3):213-230.

View all 19 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

The Lottery Preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
Laver Indestructibility and the Class of Compact Cardinals.Arthur W. Apter - 1998 - Journal of Symbolic Logic 63 (1):149-157.
Global Singularization and the Failure of SCH.Radek Honzik - 2010 - Annals of Pure and Applied Logic 161 (7):895-915.
Strong Cardinals Can Be Fully Laver Indestructible.Arthur W. Apter - 2002 - Mathematical Logic Quarterly 48 (4):499-507.
Destruction or Preservation as You Like It.Joel David Hamkins - 1998 - Annals of Pure and Applied Logic 91 (2-3):191-229.
Easton’s Theorem and Large Cardinals.Sy-David Friedman & Radek Honzik - 2008 - Annals of Pure and Applied Logic 154 (3):191-208.
Partial Near Supercompactness.Jason Aaron Schanker - 2013 - Annals of Pure and Applied Logic 164 (2):67-85.
Laver Sequences for Extendible and Super-Almost-Huge Cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.
Laver Sequences for Extendible and Super-Almost-Huge Cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.
Sacks Forcing, Laver Forcing, and Martin's Axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.
Easton’s Theorem in the Presence of Woodin Cardinals.Brent Cody - 2013 - Archive for Mathematical Logic 52 (5-6):569-591.
Fragility and Indestructibility of the Tree Property.Spencer Unger - 2012 - Archive for Mathematical Logic 51 (5-6):635-645.

Analytics

Added to PP index
2018-07-01

Total views
9 ( #951,292 of 2,508,046 )

Recent downloads (6 months)
1 ( #416,715 of 2,508,046 )

How can I increase my downloads?

Downloads

My notes