Can partial indexings be totalized?

Authors
Citation
D. Spreen, Can partial indexings be totalized?, J SYMB LOG, 66(3), 2001, pp. 1157-1185
Citations number
60
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
66
Issue
3
Year of publication
2001
Pages
1157 - 1185
Database
ISI
SICI code
0022-4812(200109)66:3<1157:CPIBT>2.0.ZU;2-O
Abstract
In examples like the total recursive functions or the computable real numbe rs the canonical indexings arc only partial maps. It is even impossible in these cases to find an equivalent total numbering. We consider effectively given topological To-spaces and study the problem in which cases the canoni cal numberings of such spaces can be totalized, i.e., have an equivalent to tal indexing. Moreover. we show under very natural assumptions that such sp aces can effectively and effectively homeomorphically be embedded into a to tally indexed algebraic partial order that is closed under the operation of taking least upper bounds of enumerable directed subsets.