Indiscernible sequences for extenders, and the singular cardinal hypothesis

DOI10.1016/S0168-0072(96)00007-3zbMATH Open0871.03041arXivmath/9507214OpenAlexW1972177384MaRDI QIDQ5961496FDOQ5961496

Moti Gitik, William J. Mitchell

Publication date: 25 August 1997

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

Abstract: We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $kappa$ is a singular strong limit cardinal and $2^{k}appa>=lambda$ where $lambda$ is not the successor of a cardinal of cofinality at most $kappa$. (i) If $cofinality(kappa)>gw$ then $o(kappa)gelambda$. (ii) If $cofinality(kappa)=gw$ then either $o(kappa)gelambda$ or $setga:Ksato(ga)geg{a}^{+n}$ is cofinal in $kappa$ for each $ningw$. In order to prove this theorem we give a detailed analysis of the sequences of indiscernibles which come from applying the covering lemma to nonoverlapping sequences of extenders.

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

Recommendations

• On the Singular Cardinal Hypothesis
• The strength of the failure of the singular cardinal hypothesis
• On hidden extenders

zbMATH Keywords

covering lemmasingular cardinal hypothesisextendersconsistency strengthstrong limitindiscernibles

Mathematics Subject Classification ID

Large cardinals (03E55)

Cites Work

• Title not available (Why is that?)
• The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\)
• A Model in Which GCH Holds at Successors but Fails at Limits
• Title not available (Why is that?)
• The covering lemma up to a Woodin cardinal
• The strength of the failure of the singular cardinal hypothesis
• On the Singular Cardinal Hypothesis
• Title not available (Why is that?)
• The core model
• Title not available (Why is that?)
• Extender based forcings
• Applications of the Covering Lemma for Sequences of Measures
• On measurable cardinals violating the continuum hypothesis
• Weak covering without countable closure
• The covering lemma for L[U]
• Title not available (Why is that?)
• Definable Singularity
• On hidden extenders
• Title not available (Why is that?)

Cited In (28)

• BLOWING UP THE POWER OF A SINGULAR CARDINAL OF UNCOUNTABLE COFINALITY
• NO BOUND FOR THE FIRST FIXED POINT
• Some results on the nonstationary ideal. II
• SHORT EXTENDERS FORCINGS I
• Maharam algebras
• Power function on stationary classes
• A power function with a fixed finite gap everywhere
• The short extenders gap three forcing using a morass
• \(\diamondsuit\) at Mahlo cardinals
• On measurable cardinals violating the continuum hypothesis
• On the Singular Cardinal Hypothesis
• Global singularization and the failure of SCH
• The short extenders gap two forcing is of Prikry type
• The consistency strength of choiceless failures of SCH
• Tall cardinals in extender models
• The sharp for the Chang model is small
• Blowing up power of a singular cardinal -- wider gaps
• On extendible cardinals and the GCH
• Singular cardinals and strong extenders
• Possible values for \(2^{\aleph_n}\) and \(2^{\aleph_\omega}\)
• Indiscernible sequences in a model which fails to have the order property
• On gaps under GCH type assumptions
• Blowing up the power of a singular cardinal
• Changing cardinal characteristics without changing \(\omega\)-sequences or cofinalities
• On a Chang conjecture
• Killing the GCH everywhere with a single real
• Around Silver's theorem
• Reflection and not SCH with overlapping extenders

This page was built for publication: Indiscernible sequences for extenders, and the singular cardinal hypothesis

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