CaltechAUTHORS
  A Caltech Library Service

Equivalence of partition properties and determinacy

Kechris, Alexander S. and Woodin, W. Hugh (1983) Equivalence of partition properties and determinacy. Proceedings of the National Academy of Sciences of the United States of America, 80 (6). pp. 1783-1786. ISSN 0027-8424. PMCID PMC393690. https://resolver.caltech.edu/CaltechAUTHORS:KECpnas83

[img]
Preview
PDF - Published Version
See Usage Policy.

828kB

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:KECpnas83

Abstract

It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axiom of determinacy is equivalent to the existence of arbitrarily large cardinals below Θ with the strong partition property ĸ → (ĸ)^ĸ.


Item Type:Article
Related URLs:
URLURL TypeDescription
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC393690/PubMed CentralArticle
http://www.pnas.org/cgi/content/abstract/80/6/1783OtherUNSPECIFIED
http://www.pnas.org/cgi/content/abstract/80/6/1783OtherUNSPECIFIED
Additional Information:© 1983 by the National Academy of Sciences. Communicated by Stephen C. Kleene, December 15, 1982. This research was partially supported by National Science Foundation Grant MCS 81-17804. A.S.K. is an A.P. Sloan Foundation Fellow. The publication costs of this article were defrayed in part by page charge payment. This article must therefore be hereby marked "advertisement" in accordance with 18 U.S.C. §1734 solely to indicate this fact.
Funders:
Funding AgencyGrant Number
NSFMCS 81-17804
Alfred P. Sloan FoundationUNSPECIFIED
Subject Keywords:set theory; descriptive set theory; constructible from the reals universe
Issue or Number:6
PubMed Central ID:PMC393690
Record Number:CaltechAUTHORS:KECpnas83
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:KECpnas83
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:9597
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:12 Feb 2008
Last Modified:03 Oct 2019 00:01

Repository Staff Only: item control page