Killing the GCH everywhere with a single real

DOI10.2178/JSL.7803060zbMATH Open1328.03049arXiv1510.02933OpenAlexW2033518897MaRDI QIDQ2869902FDOQ2869902

Authors: Mohammad Golshani, Sy-David Friedman 

Publication date: 7 January 2014

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: Shelah-Woodin investigate the possibility of violating instances of $GCH$ through the addition of a single real. In particular they show that it is possible to obtain a failure of $CH$ by adding a single real to a model of $GCH$, preserving cofinalities. In this article we strengthen their result by showing that it is possible to violate $GCH$ at all infinite cardinals by adding a single real to a model of $GCH.$ Our assumption is the existence of an $H(kapp{a}^{+3})$-strong cardinal, by work of Gitik and Mitchell it is known that more than an $H(kapp{a}^{++})$-strong cardinal is required.

Full work available at URL: https://arxiv.org/abs/1510.02933

Recommendations

• The Ultrapower Axiom and the GCH
• Killing normality with a Cohen real
• Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH
• scientific article; zbMATH DE number 1302472
• Killing ideals and adding reals
• Real quantifier elimination by computation of comprehensive Gröbner systems
• scientific article; zbMATH DE number 16655
• scientific article; zbMATH DE number 5195
• Singular failures of GCH and level by level equivalence
• Forcing the Least Measurable to Violate GCH

zbMATH Keywords

Easton functionfailure of GCHadding a single real

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50)

Cites Work

• How large is the first strongly compact cardinal? or a study on identity crises
• Indiscernible sequences for extenders, and the singular cardinal hypothesis
• Fine structure and class forcing
• On certain indestructibility of strong cardinals and a question of Hajnal
• Forcing the failure of CH by adding a real
• GENERICITY AND LARGE CARDINALS
• A characterization of generalized Příkrý sequences
• Shelah's strong covering property and CH in \(V[r]\)

Cited In (5)

• Forcing the failure of CH by adding a real
• A power function with a fixed finite gap everywhere
• HOD, V and the GCH
• Rank-into-rank hypotheses and the failure of GCH
• Shelah's strong covering property and CH in \(V[r]\)

This page was built for publication: Killing the GCH everywhere with a single real

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2869902)