Algorithmic sequences from the initial class of the Grzegorczyk hierarchy
From MaRDI portal
Publication:2557251
DOI10.1007/BF01117467zbMath0252.02032OpenAlexW1990886300MaRDI QIDQ2557251
Publication date: 1973
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01117467
Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Proof theory and constructive mathematics (03F99)
Related Items (1)
Cites Work
This page was built for publication: Algorithmic sequences from the initial class of the Grzegorczyk hierarchy