Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem

Journal of Symbolic Logic 63 (3):1137-1176 (1998)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Donald A. Martin, John R. Steel, Projective Determinacy; W. Hugh Woodin, Supercompact Cardinals, Sets of Reals, and Weakly Homogeneous Trees; Donald A. Martin, John R. Steel, A Proof of Projective Determinacy. [REVIEW]Matthew D. Foreman - 1992 - Journal of Symbolic Logic 57 (3):1132-1136.
The consistency strength of projective absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability.Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):539-544.
Regular embeddings of the stationary tower and Woodin's Σ 2 2 maximality theorem.Richard Ketchersid, Paul B. Larson & Jindřich Zapletal - 2010 - Journal of Symbolic Logic 75 (2):711-727.
Perfect trees and elementary embeddings.Sy-David Friedman & Katherine Thompson - 2008 - Journal of Symbolic Logic 73 (3):906-918.
Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.
Indiscernible sequences for extenders, and the singular cardinal hypothesis.Moti Gitik & William J. Mitchell - 1996 - Annals of Pure and Applied Logic 82 (3):273-316.
The Embedding Theorem: Its Further Developments and Consequences. Part 1.Alexei Y. Muravitsky - 2006 - Notre Dame Journal of Formal Logic 47 (4):525-540.
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.
omnibus Review. [REVIEW]Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Ultimate Normal Forms for Parallelized Natural Deductions.Neil Tennant - 2002 - Logic Journal of the IGPL 10 (3):299-337.

Analytics

Added to PP
2009-01-28

Downloads
51 (#312,154)

6 months
16 (#157,007)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Homogeneously Souslin sets in small inner models.Peter Koepke & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (1):53-61.
The category of inner models.Peter Koepke - 2002 - Synthese 133 (1-2):275 - 303.

Add more citations

References found in this work

Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
Set Theory: An Introduction to Large Cardinals.F. R. Drake & T. J. Jech - 1976 - British Journal for the Philosophy of Science 27 (2):187-191.
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.

Add more references