The negation of the singular cardinal hypothesis from o()= ^++

DOI10.1016/0168-0072(89)90069-9MaRDI QIDQ1120570zbMATH OpenOpenAlexFDO

Authors Moti Gitik

Publication date 1989

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(89)90069-9

zbMATH Keywords

cardinalGCH failure at a measurablelarge cardinal forcingMitchell order

Mathematics Subject Classification ID

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

Review text

The author proves that if the existence of a measurable cardinal \(\kappa\) with \(o(\kappa)=\kappa^{++}\) is consistent, then it is consistent that there is an elementary embedding j: \(V\to M\), \(crit(j)=\kappa\), M closed under \(\kappa\)-sequences, and for some f: \(\kappa\) \(\to \kappa\), \(j(f)(\kappa)=\kappa^{++}\). With earlier results of Woodin, this gives that the consistency of a \(\kappa\) with \(o(\kappa)=\kappa^{++}\) implies the consistency of \(2^{\kappa}=\kappa^{++}\) for some measurable \(\kappa\), and also the consistency of \(2^{\aleph_{\omega}}=\aleph_{\omega +2}\) and \(\aleph_{\omega}\) strong limit. The first implication is actually equivalence.

Recommendations

• The strength of the failure of the singular cardinal hypothesis
• On the Singular Cardinal Hypothesis
• A definable failure of the singular cardinal hypothesis
• scientific article; zbMATH DE number 218609
• On measurable cardinals violating the continuum hypothesis

Cites work

• Boolean extensions and measurable cardinals
• Changing cofinalities and the nonstationary ideal
• Forcing the failure of CH by adding a real
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3805451 (Why is no real title available?)
• On non-minimal p-points over a measurable cardinal
• On the singular cardinals problem. I
• On the singular cardinals problem. II
• P-points and q-points over a measurable cardinal
• The core model for sequences of measures. I
• The generalized continuum hypothesis can fail everywhere
• Ultrafilters over a measurable cardinal

Cited in

(62)

• On certain indestructibility of strong cardinals and a question of Hajnal
• Possible values for \(2^{\aleph_n}\) and \(2^{\aleph_\omega}\)
• Changing cardinal characteristics without changing -sequences or cofinalities
• A Laver-like indestructibility for hypermeasurable cardinals
• On gaps under GCH type assumptions
• Some results on the nonstationary ideal
• A definable failure of the singular cardinal hypothesis
• Strongly compact cardinals and the continuum function
• The secret life of \(\mu\)-clubs
• Cardinal characteristics at \(\aleph_\omega\)
• A uniform ultrafilter over a singular cardinal with a singular character
• Small cardinals and small Efimov spaces
• The strength of the failure of the singular cardinal hypothesis
• Power function on stationary classes
• Products of topological groups and -stability
• Capturing sets of ordinals by normal ultrapowers
• A measurable cardinal with a closed unbounded set of inaccessibles from o()=
• A model with a precipitous ideal, but no normal precipitous ideal
• A lifting argument for the generalized Grigorieff forcing
• The tree property at \(\aleph _{\omega +2}\)
• The failure of GCH at a degree of supercompactness
• Large cardinals and the continuum hypothesis
• AXIOM I₀ AND HIGHER DEGREE THEORY
• Aronszajn trees and failure of the singular cardinal hypothesis
• Perfect trees and elementary embeddings
• scientific article; zbMATH DE number 4055912 (Why is no real title available?)
• On the Singular Cardinal Hypothesis
• Cardinal arithmetic for skeptics
• Singular Cardinal Problem: Shelah's Theorem on 2ℵω
• Extender based forcings
• When Does Almost Free Imply Free? (For Groups, Transversals, etc.)
• On tall cardinals and some related generalizations
• Forcing the Least Measurable to Violate GCH
• Blowing up the power set of the least measurable
• Singular Cardinals and the PCF Theory
• The consistency strength of choiceless failures of SCH
• Cardinal preserving ideals
• The tree property at \(\aleph_{\omega +2}\) with a finite gap
• ON CONFIGURATIONS CONCERNING CARDINAL CHARACTERISTICS AT REGULAR CARDINALS
• On the powersets of singular cardinals in HOD
• Strong ultrapowers and long core models
• On density of old sets in Prikry type extensions
• Cofinality of the nonstationary ideal
• A framework for forcing constructions at successors of singular cardinals
• Internal Consistency and the Inner Model Hypothesis
• On -Strongly Measurable Cardinals
• Indiscernible sequences for extenders, and the singular cardinal hypothesis
• Indestructibility and destructible measurable cardinals
• Covering versus partitioning with Polish spaces
• STATIONARY REFLECTION AND THE FAILURE OF THE SCH
• The weight and \(i\)-weight of Lindelöf \(P\)-groups
• The Borel partition spectrum at successors of singular cardinals
• On minimal non--scattered linear orders
• Global singularization and the failure of SCH
• Kunen and set theory
• Club stationary reflection and other combinatorial principles at \(\aleph_{ \omega +2}\)
• On measurable cardinals violating the continuum hypothesis
• On semiproperness of Namba forcings and ideals in Prikry extensions
• The Magidor iteration and restrictions of ultrapowers to the ground model
• Easton's theorem and large cardinals from the optimal hypothesis
• The character of topological groups, via bounded systems, Pontryagin-van Kampen duality and pcf theory
• Easton's theorem and large cardinals

This page was built for publication: The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\)

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