DOI

Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and representations closer, unify some terminology, simplify some technical details, suggest interesting open questions and new invariants of topological spaces relevant to computable analysis.
Язык оригиналаанглийский
Страницы (с-по)1-30
Число страниц30
ЖурналLogical Methods in Computer Science
Том9
Номер выпуска2
DOI
СостояниеОпубликовано - 11 июн 2013

ID: 127085565