Hostname: page-component-76fb5796d-45l2p Total loading time: 0 Render date: 2024-04-28T14:45:17.506Z Has data issue: false hasContentIssue false
  • English
  • Français

Core models in the presence of Woodin cardinals

Published online by Cambridge University Press:  12 March 2014

Ralf Schindler
Ralf Schindler*
Affiliation:
Institut Für Mathematische Logik und Grundlagenforschung, Universität Münster, Einsteinstr. 62, 48149 Münster, Germany, E-mail: rds@math.uni-muenster.de, URL: www.mathl.uni-muenster.de/logik/org/staff/rds/index.html
Get access Rights & Permissions [Opens in a new window]

Abstract

Let 0 < n < ω. If there are n Woodin cardinals and a measurable cardinal above, but doesn't exist, then the core model K exists in a sense made precise. An Iterability Inheritance Hypothesis is isolated which is shown to imply an optimal correctness result for K.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 71 , Issue 4 , December 2006 , pp. 1145 - 1154
Copyright
Copyright © Association for Symbolic Logic 2006

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]Mitchell, W. and Schindler, R., Kc without large cardinals in V, this Journal, vol. 69 (2004), pp. 371–386.Google Scholar
[2]Mitchell, W. and Steel, J., Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, 1994.CrossRefGoogle Scholar
[3]Neeman, I., Optimal proofs of determinacy, The Bulletin of Symbolic Logic, vol. 1 (1995), pp. 327–339.CrossRefGoogle Scholar
[4]Schimmerling, E. and Steel, J., The maximality of the core model, Transactions of the American Mathematical Society, vol. 351 (1999), pp. 3119–3141.CrossRefGoogle Scholar
[5]Schindler, R., Iterates of the core model, this Journal, vol. 71 (2006), pp. 241–251.Google Scholar
[6]Schindler, R. and Steel, J., List of open problems in inner model theory, available at www.mathl.uni-muenster.de/logik/org/staff/rds/list.html.Google Scholar
[7]Schindler, R. and Steel, J., The self-iterability of L[E], in preparation.Google Scholar
[8]Steel, J., Projectively well-ordered inner models, Annals of Pure and Applied Logic, vol. 74 (1995), pp. 77–104.CrossRefGoogle Scholar
[9]Steel, J. , The core model iterability problem, Lecture Notes in Logic, vol. 8, Springer-Verlag, 1996.CrossRefGoogle Scholar
[10]Steel, J., Core models with more Woodin cardinals, this Journal, vol. 67 (2002), pp. 1197–1226.Google Scholar
[11]Steel, J., private communication.Google Scholar
[12]Woodin, W. H., private communication.Google Scholar