Computability on Quasi-Polish Spaces

Mathieu Hoyrup, Cristóbal Rojas, Victor Selivanov, Donald M. Stull

Resultado de la investigación: Contribución a los tipos de informe/libroContribución a la conferencia

3 Citas (Scopus)

Resumen

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.

Idioma originalInglés
Título de la publicación alojadaDescriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Proceedings
EditoresMichal Hospodár, Galina Jirásková, Stavros Konstantinidis
EditorialSpringer Verlag
Páginas171-183
Número de páginas13
ISBN (versión impresa)9783030232467
DOI
EstadoPublicada - 1 ene 2019
Evento21st International Conference on Descriptional Complexity of Formal Systems, DCFS 2019 - Košice, Eslovaquia
Duración: 17 jul 201919 jul 2019

Serie de la publicación

NombreLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen11612 LNCS
ISSN (versión impresa)0302-9743
ISSN (versión digital)1611-3349

Conferencia

Conferencia21st International Conference on Descriptional Complexity of Formal Systems, DCFS 2019
PaísEslovaquia
CiudadKošice
Período17/07/1919/07/19

Áreas temáticas de ASJC Scopus

  • Ciencia computacional teórica
  • Informática (todo)

Huella Profundice en los temas de investigación de 'Computability on Quasi-Polish Spaces'. En conjunto forman una huella única.

  • Citar esto

    Hoyrup, M., Rojas, C., Selivanov, V., & Stull, D. M. (2019). Computability on Quasi-Polish Spaces. En M. Hospodár, G. Jirásková, & S. Konstantinidis (Eds.), Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Proceedings (pp. 171-183). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11612 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-23247-4_13