Skip to Main content Skip to Navigation
Conference papers

Computability on quasi-Polish spaces

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-02118947
Contributor : Mathieu Hoyrup <>
Submitted on : Tuesday, May 7, 2019 - 3:17:56 PM
Last modification on : Tuesday, January 14, 2020 - 10:48:09 AM

File

revision.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02118947, version 2

Citation

Mathieu Hoyrup, Cristóbal Rojas, Victor Selivanov, Donald Stull. Computability on quasi-Polish spaces. DCFS 2019 - 21st International Conference on Descriptional Complexity of Formal Systems, Jul 2019, Kosice, Slovakia. pp.171-183. ⟨hal-02118947v2⟩

Share

Metrics

Record views

86

Files downloads

546