Computability on quasi-Polish spaces
From MaRDI portal
Publication:2179336
DOI10.1007/978-3-030-23247-4_13zbMATH Open1434.03122arXiv1903.02979OpenAlexW2964785189MaRDI QIDQ2179336FDOQ2179336
Authors: Mathieu Hoyrup, Cristobal Rojas, D. M. Stull, Victor Selivanov 
Publication date: 12 May 2020
Abstract: We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits several characterizations. We show that some natural effectivizations of quasi-metric spaces are strictly stronger.
Full work available at URL: https://arxiv.org/abs/1903.02979
Recommendations
Cited In (21)
- New degree spectra of Polish spaces
- Quasi-Polish spaces
- Enumerating classes of effective quasi-Polish spaces
- Some notes on spaces of ideals and computable topology
- Title not available (Why is that?)
- Constructing the space of valuations of a quasi-Polish space as a space of ideals
- Notes on overt choice
- Effective wadge hierarchy in computable quasi-Polish spaces
- Bounded theories for polyspace computability
- Computability of Polish spaces up to homeomorphism
- A syntactic approach to Borel functions: some extensions of Louveau's theorem
- On degree spectra of topological spaces
- Noetherian quasi-Polish spaces
- Non-computable impressions of computable external rays of quadratic polynomials
- Title not available (Why is that?)
- Non-collapse of the effective Wadge hierarchy
- A generalization of a theorem of Hurewicz for quasi-Polish spaces
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Warsaw discs and semicomputability
- Non-collapse of the effective wadge hierarchy
- Recursive quasi-metric spaces.
This page was built for publication: Computability on quasi-Polish spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2179336)
