The mouse set conjecture for sets of reals

&
Journal of Symbolic Logic 80 (2):671-683 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2014.78

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

Similar books and articles

Mouse sets.Mitch Rudominer - 1997 - Annals of Pure and Applied Logic 87 (1):1-100.
Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.
▵13-sets of reals.Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (1):72 - 80.
$triangle^1_3$-Sets of Reals.Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (1):72-80.
Exact equiconsistency results for Δ 3 1 -sets of reals.Haim Judah - 1992 - Archive for Mathematical Logic 32 (2):101-112.
Needed reals and recursion in generic reals.Andreas Blass - 2001 - Annals of Pure and Applied Logic 109 (1-2):77-88.
Zilber's conjecture for some o-minimal structures over the reals.Ya'acov Peterzil - 1993 - Annals of Pure and Applied Logic 61 (3):223-239.
Mathias absoluteness and the Ramsey property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.
Strong Cardinals and Sets of Reals in Lω1.Ralf-Dieter Schindler - 1999 - Mathematical Logic Quarterly 45 (3):361-369.
Unbounded and dominating reals in Hechler extensions.Justin Palumbo - 2013 - Journal of Symbolic Logic 78 (1):275-289.
From a well-ordering of the reals it is easy (by a diagonal argument) to produce a non-determined set of reals. However, large cardinal axioms imply that all sets of reals in L (R), and more, are determined. See, for example, Neeman's papers Optimalproofs of determinacy.Andrzej S. Murawski - 1995 - Bulletin of Symbolic Logic 1:327-339.
Computational randomness and lowness.Sebastiaan A. Terwijn & Domenico Zambella - 2001 - Journal of Symbolic Logic 66 (3):1199-1205.
Regular reals.Guohua Wu - 2005 - Mathematical Logic Quarterly 51 (2):111-119.
Complexity of reals in inner models of set theory.Boban Velickovic & W. Hugh Woodin - 1998 - Annals of Pure and Applied Logic 92 (3):283-295.
Turing cones and set theory of the reals.Benedikt Löwe - 2001 - Archive for Mathematical Logic 40 (8):651-664.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,010,467)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jack Steel
University of Edinburgh

Citations of this work

Realizing an AD + model as a derived model of a premouse.Yizheng Zhu - 2015 - Annals of Pure and Applied Logic 166 (12):1275-1364.
Determinacy from strong compactness of ω1.Nam Trang & Trevor M. Wilson - 2021 - Annals of Pure and Applied Logic 172 (6):102944.

Add more citations

References found in this work

No references found.

Add more references