DOI

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.
Язык оригиналаанглийский
Название основной публикацииDescriptional Complexity of Formal Systems
Страницы171-183
Число страниц13
DOI
СостояниеОпубликовано - 1 янв 2019
Событие21st International Conference on Descriptional Complexity of Formal Systems, DCFS 2019 - Košice, Словакия
Продолжительность: 17 июл 2019 → 19 июл 2019

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ИздательSpringer Nature
Том11612
ISSN (печатное издание)0302-9743

конференция

конференция21st International Conference on Descriptional Complexity of Formal Systems, DCFS 2019
Страна/TерриторияСловакия
ГородKošice
Период17/07/19 → 19/07/19

ID: 126992202