Effective oracles

DOI10.1007/BF01978553zbMath0810.03039OpenAlexW4247903347MaRDI QIDQ1191173

A. N. Gamova

Publication date: 27 September 1992

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

Full work available at URL: https://doi.org/10.1007/bf01978553

zbMATH Keywords

admissible ordinalscomputation with oraclesmetarecursioneffective oracle

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)

Related Items (1)

Pulsating hierarchies

Cites Work

• Recursive Functionals and Quantifiers of Finite Types I
• Metarecursive sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Effective oracles