CaltechAUTHORS
Published March 15, 1983 | Version Published
Journal Article Open

Equivalence of partition properties and determinacy

Creators

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 ĸ → (ĸ)^ĸ.

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.

Attached Files

Published - KECpnas83.pdf

Files

KECpnas83.pdf

Files (828.8 kB)

Name Size
md5:9b1ef39386d9a9f4e8f09eb5595360fa
828.8 kB Preview Download

Additional details

Identifiers

PMCID
PMC393690
Eprint ID
9597
Resolver ID
CaltechAUTHORS:KECpnas83

Related works

Describes
http://www.pnas.org/cgi/content/abstract/80/6/1783 (URL)

Funding

NSF
MCS 81-17804
Alfred P. Sloan Foundation

Dates

Created
2008-02-12
Created from EPrint's datestamp field
Updated
2019-10-03
Created from EPrint's last_modified field

Caltech Custom Metadata

Caltech groups
Mathematics Department