The operator gap theorem in α-recursion theory

DOI10.1007/BF02011873MaRDI QIDQ4198498zbMATH OpenOpenAlexFDO

Authors 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

alpha complexity classalpha recursion theorycomputational complexityoperator 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)

Cites work

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

Cited in

(2)

• The basic theory of partial -recursive operators
• The operator gap theorem in α-recursion theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4198498)