- 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
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
Journal of Mathematical Logic 21 (3):2150014 (2020)
Abstract
A definable pair of disjoint non-OD sets of reals exists in the Sacks and ????0-large generic extensions of the constructible universe L. More specifically, if a∈2ω is eith...Author Profiles
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Countable OD sets of reals belong to the ground model.Vladimir Kanovei & Vassily Lyubetsky - 2018 - Archive for Mathematical Logic 57 (3-4):285-298.
A Groszek‐Laver pair of undistinguishable ‐classes.Mohammad Golshani, Vladimir Kanovei & Vassily Lyubetsky - 2017 - Mathematical Logic Quarterly 63 (1-2):19-31.
An Ulm-type classification theorem for equivalence relations in Solovay model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
On a Spector Ultrapower for the Solovay Model.Vladimir Kanovei & Michiel van Lambalgen - 1997 - Mathematical Logic Quarterly 43 (3):389-395.
Generic coding with help and amalgamation failure.Sy-David Friedman & Dan Hathaway - 2021 - Journal of Symbolic Logic 86 (4):1385-1395.
On non-wellfounded iterations of the perfect set forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.
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.
A definable nonstandard enlargement.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175.
Generic Vopěnka cardinals and models of ZF with few $$\aleph _1$$ ℵ 1 -Suslin sets.Trevor M. Wilson - 2019 - Archive for Mathematical Logic 58 (7-8):841-856.
Needed reals and recursion in generic reals.Andreas Blass - 2001 - Annals of Pure and Applied Logic 109 (1-2):77-88.
Analytics
Added to PP
2020-10-08
Downloads
37 (#660,817)
6 months
8 (#476,836)
2020-10-08
Downloads
37 (#660,817)
6 months
8 (#476,836)
Historical graph of downloads
Author Profiles
References found in this work
A Groszek‐Laver pair of undistinguishable ‐classes.Mohammad Golshani, Vladimir Kanovei & Vassily Lyubetsky - 2017 - Mathematical Logic Quarterly 63 (1-2):19-31.
Ordinal definability and combinatorics of equivalence relations.William Chan - 2019 - Journal of Mathematical Logic 19 (2):1950009.
Countable OD sets of reals belong to the ground model.Vladimir Kanovei & Vassily Lyubetsky - 2018 - Archive for Mathematical Logic 57 (3-4):285-298.
Ehrenfeucht’s Lemma in Set Theory.Gunter Fuchs, Victoria Gitman & Joel David Hamkins - 2018 - Notre Dame Journal of Formal Logic 59 (3):355-370.
Counting the number of equivalence classes of Borel and coanalytic equivalence relations.Jack H. Silver - 1980 - Annals of Mathematical Logic 18 (1):1.
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-99fc7d78b-qtxsx uwo