Algorithmic sequences from the initial class of the Grzegorczyk hierarchy

DOI10.1007/BF01117467zbMath0252.02032MaRDI QIDQ2557251

Yanyan Li

Publication date: 1973

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

03D20: Recursive functions and relations, subrecursive hierarchies

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

03F99: Proof theory and constructive mathematics

Related Items

Properties of graphs of functions in the Grzegorczyk hierarchy

Cites Work

• Unnamed Item