A Groszek‐Laver pair of undistinguishable ‐classes

DOI10.1002/malq.201500020zbMath1437.03146arXiv1601.03477OpenAlexW2963006286MaRDI QIDQ5108086

Mohammad Golshani, Kanovei, Vladimir, Vassily Lyubetsky

Publication date: 29 April 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.03477

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (10)

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 ⋮ Definable \(\mathsf{E}_0\) classes at arbitrary projective levels ⋮ Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes ⋮ The full basis theorem does not imply analytic wellordering ⋮ Canonization of smooth equivalence relations on infinite-dimensional \(\mathsf{E}_0\)-large products ⋮ DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS ⋮ A countable definable set containing no definable elements ⋮ An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• A definable \(E_0\) class containing no definable elements
• An effective minimal encoding of uncountable sets
• A countable definable set containing no definable elements
• On Lusin's restricted continuum problem
• Finite groups of OD-conjugates
• A model of set-theory in which every set of reals is Lebesgue measurable
• Canonical Ramsey Theory on Polish Spaces
• Borel Orderings
• On coding uncountable sets by reals
• A Glimm-Effros Dichotomy for Borel Equivalence Relations
• An Ulm-type classification theorem for equivalence relations in Solovay model
• On the Leibniz–Mycielski axiom in set theory

This page was built for publication: A Groszek‐Laver pair of undistinguishable ‐classes