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

Journal of Symbolic Logic 63 (3):1137-1176 (1998)
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586731
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 34,925
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Gap Forcing: Generalizing the Lévy-Solovay Theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
Pseudoprojective Strongly Minimal Sets Are Locally Projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.
A Lambda Proof of the P-W Theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.
Ultimate Normal Forms for Parallelized Natural Deductions.Neil Tennant - 2002 - Logic Journal of the IGPL 10 (3):299-337.
Jónsson Cardinals, Erdös Cardinals, and the Core Model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
Square in Core Models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
The Largest Countable Inductive Set is a Mouse Set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.

Analytics

Added to PP index
2009-01-28

Total downloads
13 ( #423,798 of 2,272,742 )

Recent downloads (6 months)
5 ( #85,677 of 2,272,742 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature