Overt choice
From MaRDI portal
Publication:5131649
DOI10.3233/COM-190253zbMath1485.03152arXiv1902.05926OpenAlexW2913847576MaRDI QIDQ5131649
Matthew De Brecht, Arno Pauly, Matthias Schröder
Publication date: 9 November 2020
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1902.05926
Constructive and recursive analysis (03F60) Other degrees and reducibilities in computability and recursion theory (03D30) Other Turing degree structures (03D28)
Related Items
Effective aspects of Hausdorff and Fourier dimension ⋮ Non-collapse of the effective Wadge hierarchy ⋮ Effective wadge hierarchy in computable quasi-Polish spaces ⋮ A syntactic approach to Borel functions: some extensions of Louveau's theorem ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Notes on overt choice ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) ⋮ Unnamed Item ⋮ Enumerating classes of effective quasi-Polish spaces ⋮ Some notes on spaces of ideals and computable topology ⋮ Non-collapse of the effective wadge hierarchy
