- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Δ< sup> 1< sub> 2-sets of reals
Annals of Pure and Applied Logic 42 (3):207-223 (1989)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
$triangle^1_3$-Sets of Reals.Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (1):72-80.
Δ12-sets of reals.Jaime I. Ihoda & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 42 (3):207-223.
Exact equiconsistency results for Δ 3 1 -sets of reals.Haim Judah - 1992 - Archive for Mathematical Logic 32 (2):101-112.
Martin's axioms, measurability and equiconsistency results.Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (1):78-94.
Mathias absoluteness and the Ramsey property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.
Recursive Approximability of Real Numbers.Xizhong Zheng - 2002 - Mathematical Logic Quarterly 48 (S1):131-156.
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.
Cohen reals from small forcings.Janusz Pawlikowski - 2001 - Journal of Symbolic Logic 66 (1):318-324.
Turing cones and set theory of the reals.Benedikt Löwe - 2001 - Archive for Mathematical Logic 40 (8):651-664.
Extending Baire property by uncountably many sets.Paweł Kawa & Janusz Pawlikowski - 2010 - Journal of Symbolic Logic 75 (3):896-904.
Analytics
Added to PP
2014-04-03
Downloads
5 (#1,469,565)
6 months
3 (#902,269)
2014-04-03
Downloads
5 (#1,469,565)
6 months
3 (#902,269)
Historical graph of downloads
Citations of this work
Coanalytic ultrafilter bases.Jonathan Schilhan - 2022 - Archive for Mathematical Logic 61 (3-4):567-581.
Making doughnuts of Cohen reals.Lorenz Halbeisen - 2003 - Mathematical Logic Quarterly 49 (2):173-178.
An Efimov space with character less than s.Alan Dow - 2021 - Annals of Pure and Applied Logic 172 (5):102906.
2006 Summer Meeting of the Association for Symbolic Logic Logic Colloquium '06: Nijmegen, The Netherlands July 27-August 2, 2006. [REVIEW]Helmut Schwichtenberg - 2007 - Bulletin of Symbolic Logic 13 (2):251-298.
References found in this work
Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.
A new proof that analytic sets are Ramsey.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (1):163-165.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-v4fj8 uwo