Effective oracles

DOI10.1007/BF01978553MaRDI QIDQ1191173zbMATH OpenOpenAlexFDO

Authors 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 oracleseffective oraclemetarecursion

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4079399
• Computations with oracles: Generalized selection
• Recursion on generalized computable ordinals
• Computations with oracles
• Publication:4729774

Cites work

• scientific article; zbMATH DE number 4021108 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3532936 (Why is no real title available?)
• scientific article; zbMATH DE number 4114612 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Metarecursive sets
• Recursive Functionals and Quantifiers of Finite Types I

Cited in

(11)

• Oracles and Advice as Measurements
• A good oracle is hard to beat
• scientific article; zbMATH DE number 4064489 (Why is no real title available?)
• Pulsating hierarchies
• scientific article; zbMATH DE number 4114612 (Why is no real title available?)
• Recursion on generalized computable ordinals
• Closed machine-oracle model of the arithmetic of transfinite types
• scientific article; zbMATH DE number 4079399 (Why is no real title available?)
• scientific article; zbMATH DE number 1791729 (Why is no real title available?)
• Computations with oracles
• Superautonomous numerations and projected ordinals

This page was built for publication: Effective oracles

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