Projective Determinacy

It is shown that projective determinacy follows from large cardinal axioms weaker than the assertion that supercompact cardinals exist.

Saved in:
Bibliographic Details
Published in:Proceedings of the National Academy of Sciences - PNAS 1988-09, Vol.85 (18), p.6582-6586
Main Authors: Martin, Donald A., Steel, John R.
Format: Article
Language:English
Subjects:
Axioms
Branches
Descriptive set theory
Determinacy
Exact sciences and technology
Large cardinal properties
Mathematical induction
Mathematical logic, foundations, set theory
Mathematical set theory
Mathematics
Physical Sciences: Mathematics
Sciences and techniques of general use
Set theory
Steels
Ultrapowers
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:It is shown that projective determinacy follows from large cardinal axioms weaker than the assertion that supercompact cardinals exist.
ISSN:0027-8424
1091-6490
DOI:10.1073/pnas.85.18.6582