Positive rudimentarity of the graphs of Ackermann and Grzegorczyk

DOI10.1007/BF01629447zbMath0493.03017OpenAlexW2008978907MaRDI QIDQ1168313

A. V. Proskurin

Publication date: 1982

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

Full work available at URL: https://doi.org/10.1007/bf01629447

zbMATH Keywords

Ackermann's functionGrzegorczyk hierarchyGrzegorczyk's functionpositive rudimentary predicates

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (1)

Elementary functions and loop programs

Cites Work

• Unnamed Item
• Classes of recursive functions based on Ackermann's function
• Theory of Formal Systems. (AM-47)
• The bounded arithmetic hierarchy
• Context-free languages and rudimentary attributes

This page was built for publication: Positive rudimentarity of the graphs of Ackermann and Grzegorczyk