An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
From MaRDI portal
Publication:5163164
DOI10.1142/S0219061321500148OpenAlexW3091924916MaRDI QIDQ5163164
Publication date: 3 November 2021
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0219061321500148
Related Items
On Russell typicality in set theory ⋮ Models of set theory in which the separation theorem fails ⋮ On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ Factoring Solovay-random extensions, with application to the reduction property
Cites Work
- A countable definable set containing no definable elements
- Finite groups of OD-conjugates
- Descriptive set theory
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
- Countable OD sets of reals belong to the ground model
- Ehrenfeucht's lemma in set theory
- Topics in orbit equivalence
- A model of set-theory in which every set of reals is Lebesgue measurable
- Canonical Ramsey Theory on Polish Spaces
- Counting the number of equivalence classes of Borel and coanalytic equivalence relations
- On the Relative Consistency Strength of Determinacy Hypothesis
- A Glimm-Effros Dichotomy for Borel Equivalence Relations
- Descriptive set theory and definable forcing
- Set Theory
- On the Leibniz–Mycielski axiom in set theory
- Ordinal definability and combinatorics of equivalence relations
- A Groszek‐Laver pair of undistinguishable ‐classes
- A note on an effective Polish topology and Silver’s dichotomy theorem
- Some applications of the notions of forcing and generic sets
- Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item