Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published March 15, 1983 | Published
Journal Article Open

Equivalence of partition properties and determinacy

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 Download all
md5:9b1ef39386d9a9f4e8f09eb5595360fa
828.8 kB Preview Download

Additional details

Created:
August 22, 2023
Modified:
March 5, 2024