Generalized computations with oracles

DOI10.1007/BF01982308MaRDI QIDQ1119570zbMATH OpenOpenAlexFDO

Authors A. N. Gamova

Publication date 1988

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

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

zbMATH Keywords

computation with oraclesconstructive ordinalsGanov oracles

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Review text

See the review in Zbl 0661.03031.

Cites work

• scientific article; zbMATH DE number 3532936 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Recursive Functionals and Quantifiers of Finite Types I
• Recursive Functionals and Quantifiers of Finite Types II

Cited in

(7)

• Complete divisibility problems for slowly utilized oracles
• Generic oracles, uniform machines, and codes
• Expressing uniformity via oracles
• A tight relationship between generic oracles and type-2 complexity theory
• Computability with two-place oracle
• Computations with oracles: Generalized selection
• Computations with oracles that measure vanishing quantities

This page was built for publication: Generalized computations with oracles

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