On some generalizations of the primitive recursive arithmetic

DOI10.1016/j.tcs.2004.03.067zbMath1058.03064OpenAlexW2020893225MaRDI QIDQ1885041

I. D. Zaslavskiĭ

Publication date: 27 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.03.067

zbMATH Keywords

Branchingprogram schemesextension of primitive recursive arithmeticLoading operatorLogical operator

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• On the Consistency and Undecidability of Recursive Arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item