Positive rudimentarity of the graphs of Ackermann and Grzegorczyk

DOI10.1007/BF01629447MaRDI QIDQ1168313zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• Classes of recursive functions based on Ackermann's function
• Context-free languages and rudimentary attributes
• scientific article; zbMATH DE number 3083488 (Why is no real title available?)
• The bounded arithmetic hierarchy
• Theory of Formal Systems. (AM-47)

Cited in

(1)

• Elementary functions and loop programs

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

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