Sets and singletons

Journal of Symbolic Logic 64 (2):590-616 (1999)
  Copy   BIBTEX

Abstract

We extend work of H. Friedman, L. Harrington and P. Welch to the third level of the projective hierarchy. Our main theorems say that (under appropriate background assumptions) the possibility to select definable elements of non-empty sets of reals at the third level of the projective hierarchy is equivalent to the disjunction of determinacy of games at the second level of the projective hierarchy and the existence of a core model (corresponding to this fragment of determinacy) which must then contain all real numbers. The proofs use Sacks forcing with perfect trees and core model techniques

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

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

Through your library

Similar books and articles

Aggregate theory versus set theory.Hartley Slater - 2003 - Erkenntnis 59 (2):189 - 202.
Finite sets and Frege structures.John L. Bell - 1999 - Journal of Symbolic Logic 64 (4):1552-1556.
Reconsidering ordered pairs.Dana Scott & Dominic McCarty - 2008 - Bulletin of Symbolic Logic 14 (3):379-397.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Rank, join, and Cantor singletons.Jim Owings - 1997 - Archive for Mathematical Logic 36 (4-5):313-320.
On Continuity: Aristotle versus Topology?Michael J. White - 1988 - History and Philosophy of Logic 9 (1):1-12.
Critical Notice: David Lewis's Parts of Classes.M. D. Potter - 1993 - Philosophical Quarterly 43 (172).
Homogeneously Suslin sets in tame mice.Farmer Schlutzenberg - 2012 - Journal of Symbolic Logic 77 (4):1122-1146.

Analytics

Added to PP
2009-01-28

Downloads
66 (#247,739)

6 months
11 (#245,876)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

W. Hugh Woodin
Harvard University

Citations of this work

No citations found.

Add more citations

References found in this work

The Core Model.A. Dodd, R. Jensen, Tony Dodd, Ronald Jensen, A. J. Dodd & R. B. Jensen - 1984 - Journal of Symbolic Logic 49 (2):660-662.
Some descriptive set theory and core models.P. D. Welch - 1988 - Annals of Pure and Applied Logic 39 (3):273-290.

Add more references