Definable elements of definable Borel sets

DOI10.1134/S0001434619050055MaRDI QIDQ2334907zbMATH OpenOpenAlexFDO

Authors Vladimir Kanovei, Vassily Lyubetsky

Publication date 8 November 2019

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0001434619050055

zbMATH Keywords

Borel setsCohen forcingdefinable elementsSolovay forcing

Mathematics Subject Classification ID

Set theory (03Exx)

Recommendations

• TOWARDS A THEORY OF DEFINABLE SETS
• Definable sets in ordered structures
• A Dedekind finite Borel set
• Definable Sets in Generic Structures and their Cardinalities
• Definable properties of the computably enumerable sets
• Ind- and pro-definable sets
• Classifications of definable subsets
• scientific article; zbMATH DE number 4195916
• scientific article; zbMATH DE number 2220969
• Definable structures in the lattice of recursively enumerable sets

Cites work

• A countable definable set containing no definable elements
• A definable \(E_0\) class containing no definable elements
• A model of set-theory in which every set of reals is Lebesgue measurable
• Borel equivalence relations. Structure and classification
• Choix effectif d'un point dans un complémentaire analytique arbitraire donné par un crible
• Countable OD sets of reals belong to the ground model
• Descriptive set theory
• scientific article; zbMATH DE number 3782930 (Why is no real title available?)
• scientific article; zbMATH DE number 1083227 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• On Lusin's restricted continuum problem
• On some classical problems of descriptive set theory
• Separation principles in the hierarchies of classical and effective descriptive set theory
• When a partial Borel order is linearizable

Cited in

(3)

• The full basis theorem does not imply analytic wellordering
• Borel OD sets of reals are OD-Borel in some simple models
• An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited

This page was built for publication: Definable elements of definable Borel sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334907)