Global singularization and the failure of SCH

Annals of Pure and Applied Logic 161 (7):895-915 (2010)
  Copy   BIBTEX

Abstract

We say that κ is μ-hypermeasurable for a cardinal μ≥κ+ if there is an embedding j:V→M with critical point κ such that HV is included in M and j>μ. Such a j is called a witnessing embedding.Building on the results in [7], we will show that if V satisfies GCH and F is an Easton function from the regular cardinals into cardinals satisfying some mild restrictions, then there exists a cardinal-preserving forcing extension V* where F is realised on all V-regular cardinals and moreover, all F-hypermeasurable cardinals κ, where F>κ+, with a witnessing embedding j such that either j=κ+ or j≥F, are turned into singular strong limit cardinals with cofinality ω. This provides some partial information about the possible structure of a continuum function with respect to singular cardinals with countable cofinality.As a corollary, this shows that the continuum function on a singular strong limit cardinal κ of cofinality ω is virtually independent of the behaviour of the continuum function below κ, at least for continuum functions which are simple in that 2α{α+,α++} for every cardinal α below κ ≥F or j=κ+)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Easton’s theorem and large cardinals.Sy-David Friedman & Radek Honzik - 2008 - Annals of Pure and Applied Logic 154 (3):191-208.
Extender based forcings.Moti Gitik & Menachem Magidor - 1994 - Journal of Symbolic Logic 59 (2):445-460.
Patterns of compact cardinals.Arthur W. Apter - 1997 - Annals of Pure and Applied Logic 89 (2-3):101-115.
Tall cardinals.Joel D. Hamkins - 2009 - Mathematical Logic Quarterly 55 (1):68-86.
The tree property and the failure of SCH at uncountable cofinality.Dima Sinapova - 2012 - Archive for Mathematical Logic 51 (5-6):553-562.
The tree property and the continuum function below.Radek Honzik & Šárka Stejskalová - 2018 - Mathematical Logic Quarterly 64 (1-2):89-102.
Blowing up power of a singular cardinal—wider gaps.Moti Gitik - 2002 - Annals of Pure and Applied Logic 116 (1-3):1-38.
Filters and large cardinals.Jean-Pierre Levinski - 1995 - Annals of Pure and Applied Logic 72 (2):177-212.
Aronszajn trees and failure of the singular cardinal hypothesis.Itay Neeman - 2009 - Journal of Mathematical Logic 9 (1):139-157.

Analytics

Added to PP
2013-12-18

Downloads
118 (#155,975)

6 months
12 (#242,943)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Fusion and large cardinal preservation.Sy-David Friedman, Radek Honzik & Lyubomyr Zdomskyy - 2013 - Annals of Pure and Applied Logic 164 (12):1247-1273.
Large cardinals and definable well-orders, without the GCH.Sy-David Friedman & Philipp Lücke - 2015 - Annals of Pure and Applied Logic 166 (3):306-324.

Add more citations

References found in this work

[Omnibus Review].Akihiro Kanamori - 1981 - Journal of Symbolic Logic 46 (4):864-866.
The negation of the singular cardinal hypothesis from o(K)=K++.Moti Gitik - 1989 - Annals of Pure and Applied Logic 43 (3):209-234.

View all 18 references / Add more references