On nested simple recursion

DOI10.1007/S00153-011-0236-9zbMATH Open1227.03052OpenAlexW2011848188MaRDI QIDQ634775FDOQ634775

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

Recommendations

• scientific article; zbMATH DE number 1670762
• Nested arrays and recursion
• Nested recursions, simultaneous parameters and tree superpositions
• scientific article; zbMATH DE number 465472
• Nested recursions with ceiling function solutions
• Recursive functions
• scientific article; zbMATH DE number 3165537
• An Interesting Recursion
• scientific article; zbMATH DE number 409549

zbMATH Keywords

primitive recursive functionsnested simple recursionpairing function

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Title not available (Why is that?)
• Induction rules, reflection principles, and provably recursive functions
• Herbrand analyses
• Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
• Title not available (Why is that?)

Cited In (4)

• The realm of primitive recursion
• Nested recursions with ceiling function solutions
• Do we need recursion?
• Title not available (Why is that?)

This page was built for publication: On nested simple recursion

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