On a class of recursive hierarchies

DOI10.1007/BF02218636MaRDI QIDQ1211045zbMATH OpenFDO

Authors N. V. Belyakin

Publication date 1974

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

Full work available at URL https://eudml.org/doc/186778

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites work

• Constructive Versions of Ordinal Number Classes
• Constructively accessible ordinal numbers
• Hierarchies in Recursive Function Theory
• scientific article; zbMATH DE number 3188506 (Why is no real title available?)
• Recursive well-orderings

Cited in

(1)

• The halt problem and theory of hierarchies

This page was built for publication: On a class of recursive hierarchies

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