Killing the GCH everywhere with a single real

DOI10.2178/JSL.7803060MaRDI QIDQ2869902zbMATH OpenOpenAlexFDO

Authors Mohammad Golshani, Sy-David Friedman

Publication date 7 January 2014

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

Full work available at URL https://arxiv.org/abs/1510.02933, https://projecteuclid.org/euclid.jsl/1389032276

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)

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.

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

Cites work

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

Cited in

(5)

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

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)