Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-26T11:48:16.200Z Has data issue: false hasContentIssue false
  • English
  • Français

Extenders, embedding normal forms, and the Martin-Steel-theorem

Published online by Cambridge University Press:  12 March 2014

Peter Koepke
Peter Koepke*
Affiliation:
Mathematisches Institut, Beringstrasse 4, D-53115 Bonn, Germany E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We propose a simple notion of “extender” for coding large elementary embeddings of models of set theory. As an application we present a self-contained proof of the theorem by D. Martin and J. Steel that infinitely many Woodin cardinals imply the determinacy of every projective set.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 63 , Issue 3 , September 1998 , pp. 1137 - 1176
Copyright
Copyright © Association for Symbolic Logic 1998

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]Devlin, K. J. and Jensen, R. B., Marginalia to a theorem of Silver, ⊨ ISILC logic conference, Lecture Notes in Mathematics, no. 499, Springer-Verlag, Berlin and New York, 1975, pp. 115–142.CrossRefGoogle Scholar
[2]Dodd, A., The core model, Cambridge University Press, Cambridge, 1982.CrossRefGoogle Scholar
[3]Drake, F. R., Set theory: An introduction to large cardinals, North-Holland, Amsterdam, 1974.Google Scholar
[4]Friedman, S. D., Embedding hierarchies, unpublished notes.Google Scholar
[5]Gale, D. and Stewart, F. M., Infinite games with perfect information, Annals of Mathematics Studies, vol. 28 (1953), pp. 245–266.Google Scholar
[6]Jech, T., Set theory, Academic Press, New York, 1978.Google Scholar
[7]Kechris, A. S., Classical descriptive set theory, Springer-Verlag, Berlin and New York, 1995.CrossRefGoogle Scholar
[8]Koepke, P., An introduction to extenders and core models for extender sequences, Logic colloquium 1987, North-Holland, Amsterdam, 1989, pp. 137–182.Google Scholar
[9]Martin, D. A., Measurable cardinals and analytic games, Fundamenta Mathematicae, vol. 66 (1970), pp. 287–291.Google Scholar
[10]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
[11]Martin, D. A. and Steel, J. R., Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), pp. 1–73.CrossRefGoogle Scholar
[12]Mitchell, W. J., Hypermeasurable cardinals, Logic colloquium 1978, North-Holland, Amsterdam, 1979, pp. 303–316.Google Scholar
[13]Moschovakis, Y. N., Descriptive set theory, North-Holland, Amsterdam, 1980.Google Scholar
[14]Windßus, K., Projektive Determiniertheit, Diplomarbeit, Bonn, 1993.Google Scholar