Computability on quasi-Polish spaces
From MaRDI portal
Publication:2179336
DOI10.1007/978-3-030-23247-4_13zbMATH Open1434.03122arXiv1903.02979OpenAlexW2964785189MaRDI QIDQ2179336FDOQ2179336
Cristobal Rojas, Victor Selivanov, D. M. Stull, Mathieu Hoyrup
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 (17)
- New degree spectra of Polish spaces
- Enumerating classes of effective quasi-Polish spaces
- Some notes on spaces of ideals and computable topology
- Title not available (Why is that?)
- Notes on overt choice
- Effective wadge hierarchy in computable quasi-Polish spaces
- Bounded theories for polyspace computability
- A syntactic approach to Borel functions: some extensions of Louveau's theorem
- On degree spectra of topological spaces
- Non-computable impressions of computable external rays of quadratic polynomials
- Title not available (Why is that?)
- Non-collapse of the effective Wadge hierarchy
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Warsaw discs and semicomputability
- Non-collapse of the effective wadge hierarchy
- COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
- 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)
