Some modifications of iterated Kleene calculability

DOI10.1007/BF01988799zbMath0636.03042OpenAlexW2010633775MaRDI QIDQ1097877

E. G. Nikiforova

Publication date: 1986

Published in: Algebra and Logic (Search for Journal in Brave)

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

zbMATH Keywords

iterationoraclesfunctionals of type 2iterated Kleene computabilityrecursive hierarchies

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Hierarchies of computability and definability (03D55)

Related Items (1)

Iterated Kleene computability

Cites Work

• Unnamed Item
• A method of modeling a classical second stage arithmetic
• On the normal subgroups of the orthogonal group over a ring with involution.
• Recursive Functionals and Quantifiers of Finite Types I

This page was built for publication: Some modifications of iterated Kleene calculability