On nested simple recursion

DOI10.1007/S00153-011-0236-9zbMath1227.03052OpenAlexW2011848188MaRDI QIDQ634775

Ján Komara

Publication date: 16 August 2011

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-011-0236-9

zbMATH Keywords

primitive recursive functionsnested simple recursionpairing function

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Unnamed Item
• Unnamed Item
• Induction rules, reflection principles, and provably recursive functions
• Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
• Herbrand analyses

This page was built for publication: On nested simple recursion