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 conferenciarevisión exhaustiva

6 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ís/TerritorioEslovaquia
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