DocumentCode :
2203141
Title :
On the size of sets of computable functions
Author :
Mehlhorn, Kurt
fYear :
1973
fDate :
15-17 Oct. 1973
Firstpage :
190
Lastpage :
196
Abstract :
We investigate the size of sets of computable functions using category-theoretic methods (in the sense of the Baire Category theorem). Constructive definitions of no-where dense and meagre set are given and applied to several problems. In particular we apply it to subrecursive degree structures and to a comparison of the power of deterministic and nondeterministic time bounded oracle machines.
Keywords :
Computer science; Helium; Indexing; Polynomials; Topology;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Switching and Automata Theory, 1973. SWAT '08. IEEE Conference Record of 14th Annual Symposium on
Conference_Location :
USA
ISSN :
0272-4847
Type :
conf
DOI :
10.1109/SWAT.1973.23
Filename :
4569743
Link To Document :
بازگشت