Hostname: page-component-76fb5796d-zzh7m Total loading time: 0 Render date: 2024-04-25T07:30:15.672Z Has data issue: false hasContentIssue false
  • English
  • Français

Successive weakly compact or singular cardinals

Published online by Cambridge University Press:  12 March 2014

Ralf-Dieter Schindler
Ralf-Dieter Schindler*
Affiliation:
Mathematisches Institut, Uni Bonn, Beringstrasse 4, D-53115 Bonn, Germany Department of Mathematics, U. C. Berkeley, Berkeley, California 94720, USA, E-mail: rds@math.uni-bonn.de Department of Mathematics, U. C. Berkeley, Berkeley, California 94720, USA, E-mail: rds@math.berkeley.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

It is shown in ZF that if δ < δ+ < Ω are such that δ and δ+ are either both weakly compact or singular cardinals and Ω is large enough for putting the core model apparatus into action then there is an inner model with a Woodin cardinal.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 64 , Issue 1 , March 1999 , pp. 139 - 146
Copyright
Copyright © Association for Symbolic Logic 1999

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Jech, T., Set theory, Academic Press, San Diego, 1978.Google Scholar
[2]Kechris, A. S., AD and projective ordinals, Cabal seminar 76–77, Lecture Notes in Mathematics, vol. 689, Springer-Verlag, Berlin, 1987, pp. 91–132.Google Scholar
[3]Martin, D. A. and Steel, J. R., A proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), pp. 71–125.CrossRefGoogle Scholar
[4]Mitchell, W. J., The core model for sequences of measures II, typescript.Google Scholar
[5]Mitchell, W. J. and Schimmerling, E., Covering without countable closure, Mathematical Research Letters, vol. 2 (1995), pp. 595–609.CrossRefGoogle Scholar
[6]Mitchell, W. J., Schimmerling, E., and Steel, J. R., The covering lemma up to a Woodin cardinal, Annals of Pure and Applied Logic, vol. 84 (1997), pp. 219–255.CrossRefGoogle Scholar
[7]Mitchell, W. J. and Steel, J. R., Fine structure and iteration trees, Lecture Notes in Logic, Springer-Verlag, Berlin, 1994.CrossRefGoogle Scholar
[8]Moschovakis, Y. N., Descriptive set theory, Amsterdam, 1980.Google Scholar
[9]Schimmerling, E. and Steel, J. R., The maximality of the core model, preprint.Google Scholar
[10]Schindler, R.-D., Weak covering at large cardinals, Mathematical Logic Quarterly, vol. 43 (1997), pp. 22–28.CrossRefGoogle Scholar
[11]Steel, J. R., private communication.Google Scholar
[12]Steel, J. R., HODL(ℝ) is a core model below Θ, The Bulletin of Symbolic Logic, vol. 1 (1995), pp. 75–84.CrossRefGoogle Scholar
[13]Steel, J. R., The core model iterability problem, Lecture Notes in Logic, Springer-Verlag, Berlin, 1996.CrossRefGoogle Scholar