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.
Recommendations
Cited in
(21)- Recursive quasi-metric spaces.
- 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
- scientific article; zbMATH DE number 800363 (Why is no real title available?)
- 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
- On degree spectra of topological spaces
- A syntactic approach to Borel functions: some extensions of Louveau's theorem
- Noetherian quasi-Polish spaces
- Non-computable impressions of computable external rays of quadratic polynomials
- scientific article; zbMATH DE number 3932433 (Why is no real title available?)
- 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
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)
