The operator gap theorem in α-recursion theory

DOI10.1007/BF02011873zbMath0412.03031OpenAlexW2013339463MaRDI QIDQ4198498

Robert A. Di Paola

Publication date: 1978

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137950

zbMATH Keywords

computational complexityalpha recursion theoryalpha complexity classoperator gaptotal alpha-effective operator

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items

The basic theory of partial \(\alpha\)-recursive operators ⋮ The operator gap theorem in α-recursion theory

Cites Work

• The Undecidability of Monadic Modal Quantification Theory
• On generalized computational complexity
• The operator gap theorem in α-recursion theory
• Classes of computable functions defined by bounds on computation
• A Machine-Independent Theory of the Complexity of Recursive Functions
• The Operator Gap
• The α-finite injury method

This page was built for publication: The operator gap theorem in α-recursion theory