On the singular cardinal hypothesis

Author:
W. J. Mitchell

Journal:
Trans. Amer. Math. Soc. **329** (1992), 507-530

MSC:
Primary 03E55; Secondary 03E35, 03E50

DOI:
https://doi.org/10.1090/S0002-9947-1992-1073778-4

MathSciNet review:
1073778

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We use core model theory to obtain the following lower bounds to the consistency strength for the failure of the Singular Cardinal Hypothesis: Suppose that is a singular strong limit cardinal such that . Then there is an inner model such that in if has uncountable cofinality, and in otherwise.

**[D]**A. Dodd,*The core model*, London Math. Soc. Lecture Notes 61, Cambridge Univ. Press, Cambridge, 1982. MR**652253 (84a:03062)****[G]**M. Gitik,*The negation of the singular cardinal hypothesis from*, Ann. Pure Appl. Logic**43**(1989), 209-234. MR**1007865 (90h:03037)****[G?]**-,*The strength of the failure of the singular carrdinal hypothesis*, Ann. Pure Appl. Logic (to appear). MR**1098782 (92f:03060)****[G??]**-,*On measurable cardinals violating the continuum hypothesis*, preprint.**[KM]**A. Kanamori and M. Magidor,*The evolution of large cardinal axioms in set theory*, Higher Set Theory, Gert Muller and Dana Scott, Eds., Lecture Notes in Math., vol. 669, Springer-Verlag, Berlin, 1978, pp. 99-276. MR**520190 (80b:03083)****[Mc]**McDermitt,*Iterated forcing and coherent sequences*, Thesis, University of Oxford.**[Mi74]**W. J. Mitchell,*Sets constructible from sequences of ultrafilters*, J. Symbolic Logic**39**(1974), 57-66. MR**0344123 (49:8863)****[Mi83]**-,*Sets constructed from sequences of measures: Revisited*, J. Symbolic Logic**48**(1983), 600-607. MR**716621 (85j:03052)****[Mi84a]**-,*Indiscernibles, skies and ultrafilters*, Contemp. Math.**31**(1984), 161-182.**[Mi84b]**-,*The core model for sequences of measures*, I, Math. Proc. Cambridge Philos. Soc.**95**(1984), 41-58. MR**735366 (85i:03163)****[Mi?]**-,*The core model for sequences of measures*, II, Math. Proc. Cambridge Philos. Soc. (submitted).**[Mi87]**-,*Applications of the core model for sequences of measures*, Trans. Amer. Math. Soc.**299**(1987), 41-58.**[W]**H. Woodin, (Private communication).**[Pr]**K. Prikry,*Changing measurable into accessible cardinals*, Dissertationes Math. (Rozprawy Math.)**68**(1971), 359-378. MR**0262075 (41:6685)**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
03E55,
03E35,
03E50

Retrieve articles in all journals with MSC: 03E55, 03E35, 03E50

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1992-1073778-4

Keywords:
Core model,
covering lemma,
GCH,
SCH

Article copyright:
© Copyright 1992
American Mathematical Society