• 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