Article contents
Extenders, embedding normal forms, and the Martin-Steel-theorem
Published online by Cambridge University Press: 12 March 2014
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
- Copyright
- Copyright © Association for Symbolic Logic 1998
References
REFERENCES
- 2
- Cited by