Definable selector for $\bf\Delta^0_2$ sets modulo countable
Logic
2019-10-09 v3
Authors:
Vladimir Kanovei
Abstract
A set is effectively chosen in every class of Δ20 sets modulo countable.
Cite
@article{arxiv.1910.00926,
title = {Definable selector for $\bf\Delta^0_2$ sets modulo countable},
author = {Vladimir Kanovei},
journal= {arXiv preprint arXiv:1910.00926},
year = {2019}
}
Comments
2 pages
Related papers
View all related →
Logic · Mathematics
Maximal \delta-separated sets in separable metric spaces and weak forms of choice
Michał Dybowski, Przemyslaw Górka, Paul Howard
2026-01-14
Logic · Mathematics
A Feiner Look at the Intermediate Degrees
Denis R. Hirschfeldt, Asher M. Kach, Antonio Montalbán
2021-10-14
Logic in Computer Science · Computer Science
An effective version of definability in metric model theory
Nazanin Roshandel Tavana
2020-11-12
Logic · Mathematics
On computable aspects of algebraic and definable closure
Nathanael Ackerman, Cameron Freer, Rehana Patel
2021-03-10
Operator Algebras · Mathematics
A classification of all finite index subfactors for a class of group-measure space II_1 factors
Steven Deprez, Stefaan Vaes
2011-11-29
Logic in Computer Science · Computer Science
Deciding the Borel complexity of regular tree languages
Alessandro Facchini, Henryk Michalewski
2014-03-17
Logic · Mathematics
Definable sets in Skolem arithmetic
Łukasz Kamiński
2025-10-03
General Topology · Mathematics
Classification of selectors for sequences of dense sets of Baire functions
Alexander V. Osipov
2017-11-08
Logic · Mathematics
The classification of countable models of set theory
John Clemens, Samuel Coskey, Samuel Dworetzky
2020-07-21
Logic · Mathematics
Universally measurable sets may all be Delta^1_2
Paul B. Larson, Saharon Shelah
2023-06-21
Group Theory · Mathematics
Coarse selectors of groups
Igor Protasov
2021-03-24
Software Engineering · Computer Science
Computation in an algebra of test selection criteria
Jan Pachl, Shmuel Zaks
2016-08-31
Logic · Mathematics
Definable sets up to definable bijections in Presburger groups
Raf Cluckers, Immanuel Halupczok
2018-01-17
General Topology · Mathematics
Denumerable cellular families in Hausdorff spaces and towers of Boolean algebras in $\mathbf{ZF}$
Kyriakos Keremedis, Eliza Wajch
2020-01-06
Rings and Algebras · Mathematics
Counting equivalence classes of irreducible representations
Edward S. Letzter
2007-05-23
Logic · Mathematics
Computing sets from all infinite subsets
Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey, Dan Turetsky
2020-11-09
Number Theory · Mathematics
Counting integers representable as images of polynomials modulo $n$
Fabián Arias, Jerson Borja, Luis Rubio
2019-01-25
Representation Theory · Mathematics
Modules as exact functors
Mike Prest
2018-01-25
Logic · Mathematics
A Computable Functor From Graphs to Fields
Russell Miller, Bjorn Poonen, Hans Schoutens, Alexandra Shlapentokh
2015-10-27
Logic · Mathematics
Descriptive complexity of countable unions of Borel rectangles
Dominique Lecomte, Miroslav Zeleny
2013-08-22
Logic · Mathematics
Countable Support Iteration Revisited
Jindrich Zapletal
2007-05-23
Rings and Algebras · Mathematics
Calculating Determinants of Block Matrices
Philip D. Powell
2011-12-22
Logic · Mathematics
Definable maximal cofinitary groups
Vera Fischer, Sy David Friedman, Asger Törnquist
2016-03-10
Logic · Mathematics
A countable definable set of reals containing no definable elements
Vladimir Kanovei, Vassily Lyubetsky
2018-09-05
Combinatorics · Mathematics
Decimation classes of nonnegative integer vectors using multisets
Daniel M. Baczkowski, Dursun A. Bulutoglu
2025-05-27