Computability on Quasi-Polish Spaces

dc.contributor.author	Hoyrup M.
dc.contributor.author	Rojas C.
dc.contributor.author	Selivanov V.
dc.contributor.author	Stull D.
dc.date.accessioned	2020-01-15T21:18:07Z
dc.date.available	2020-01-15T21:18:07Z
dc.date.issued	2019
dc.identifier.issn	0302-9743
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/155607
dc.description.abstract	© 2019, IFIP International Federation for Information Processing. 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.
dc.relation.ispartofseries	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.title	Computability on Quasi-Polish Spaces
dc.type	Conference Paper
dc.relation.ispartofseries-volume	11612 LNCS
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	171
dc.source.id	SCOPUS03029743-2019-11612-SID85069438331

Files in this item

Name: SCOPUS03029743-20 ...

Size: 104.7Kb

Format: PDF

Публикации сотрудников КФУ Scopus [24551]
Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.