How to prove that two classes of simple primitive recursive functions are distinct

DOI10.1007/BF01404108zbMath0449.03031OpenAlexW1976209904MaRDI QIDQ1147128

S. V. Pakhomov

Publication date: 1981

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

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

zbMATH Keywords

classes of simple primitive recursive functionsnumber theoretic functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• On Post's canonical systems
• Unnamed Item

This page was built for publication: How to prove that two classes of simple primitive recursive functions are distinct