An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited

&
Journal of Mathematical Logic 21 (3):2150014 (2020)
  Copy   BIBTEX

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...

Categories

Keywords

Reprint years

DOI

10.1142/s0219061321500148

Links

PhilArchive



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

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

Countable OD sets of reals belong to the ground model.Vladimir Kanovei & Vassily Lyubetsky - 2018 - Archive for Mathematical Logic 57 (3-4):285-298.
Controlling cardinal characteristics without adding reals.Martin Goldstern, Jakob Kellner, Diego A. Mejía & Saharon Shelah - 2020 - Journal of Mathematical Logic 21 (3).
Iterability for (transfinite) stacks.Farmer Schlutzenberg - 2021 - Journal of Mathematical Logic 21 (2):2150008.
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.Paul Howard, Denis I. Saveliev & Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):155-176.
Generic expansions by a reduct.Christian D’Elbée - 2021 - Journal of Mathematical Logic 21 (3):2150016.
Maximal almost disjoint families, determinacy, and forcing.Karen Bakke Haga, David Schrittesser & Asger Törnquist - 2021 - Journal of Mathematical Logic 22 (1).
On Martin's Axiom and Forms of Choice.Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):190-203.
Generic derivations on o-minimal structures.Antongiulio Fornasiero & Elliot Kaplan - 2020 - Journal of Mathematical Logic 21 (2):2150007.
Guessing models and the approachability ideal.Rahman Mohammadpour & Boban Veličković - 2020 - Journal of Mathematical Logic 21 (2):2150003.
On non-wellfounded iterations of the perfect set forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.
Pseudofinite groups and VC-dimension.Gabriel Conant & Anand Pillay - 2020 - Journal of Mathematical Logic 21 (2):2150009.
Interpolative fusions.Alex Kruckman, Chieu-Minh Tran & Erik Walsberg - 2020 - Journal of Mathematical Logic 21 (2):2150010.
An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
An Ulm-type classification theorem for equivalence relations in Solovay model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
Two kinds of fixed point theorems and reverse mathematics.Weiguang Peng & Takeshi Yamazaki - 2017 - Mathematical Logic Quarterly 63 (5):454-461.

Analytics

Added to PP
2020-10-08

Downloads
19 (#798,463)

6 months
9 (#307,343)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

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.

Add more references