Generalized computations with oracles

DOI10.1007/BF01982308zbMATH Open0672.03024OpenAlexW2015837321MaRDI QIDQ1119570

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

constructive ordinalscomputation with oraclesGanov oracles

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Recursive Functionals and Quantifiers of Finite Types I
• Recursive Functionals and Quantifiers of Finite Types II

Related Items (6)

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

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)