×

zbMATH — the first resource for mathematics

On machine characterization of nonrecursive hierarchies. (English) Zbl 0562.03023
Using machines with countable nondeterminism and alternation,the author obtains a machine-oriented characterization of the arithmetical hierarchy. Related problems are also investigated.
Reviewer: C.Calude

MSC:
03D55 Hierarchies of computability and definability
PDF BibTeX XML Cite