Indiscernible sequences for extenders, and the singular cardinal hypothesis

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

Authors Moti Gitik, William J. Mitchell 

Publication date 25 August 1997

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

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

zbMATH Keywords

covering lemmasingular cardinal hypothesisextendersconsistency strengthstrong limitindiscernibles

Mathematics Subject Classification ID

Large cardinals (03E55)

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.

Recommendations

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

Cites Work

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

Cited In (29)

• NO BOUND FOR THE FIRST FIXED POINT
• Some results on the nonstationary ideal. II
• Blowing up the power of a singular cardinal of uncountable cofinality
• 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
• Short extenders forcings. I
• On hidden extenders
• 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)