On the Algebraic Structure of Primitive Recursive Functions

DOI10.1002/MALQ.19850313503MaRDI QIDQ3347867zbMATH OpenOpenAlexFDO

Authors István Szalkai

Publication date 1985

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19850313503

zbMATH Keywords

endomorphismgenerators

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Classes of algebras of primitive recursive functions
• Some Hierarchies of Primitive Recursive Functions on Term Algebras
• scientific article; zbMATH DE number 976395
• Publication:4946107
• Towards an algebraic theory of recursion
• Primitive recursion and \(\mu\)-recursivity
• On some generalizations of the primitive recursive arithmetic
• Plain bases for classes of primitive recursive functions
• An exactification of the monoid of primitive recursive functions
• Logical Approaches to Computational Barriers

Cited in

(21)

• Primitive iteration and unary functions
• Rudimentary relations and primitive recursion: A toolbox
• A recursive second order initial algebra specification of primitive recursion
• A representation theorem for primitive recursive algorithms
• scientific article; zbMATH DE number 4019039 (Why is no real title available?)
• scientific article; zbMATH DE number 3878909 (Why is no real title available?)
• Ein Kriterium für die Primitive Rekursivität der Funktional‐Iteration
• scientific article; zbMATH DE number 4029556 (Why is no real title available?)
• scientific article; zbMATH DE number 23837 (Why is no real title available?)
• On a theorem of Günter Asser
• On Closed Classes of Primitive Recursive Functions, II
• scientific article; zbMATH DE number 2098698 (Why is no real title available?)
• scientific article; zbMATH DE number 926976 (Why is no real title available?)
• Definitional schemes for primitive recursive and computable functions
• On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions
• Unary primitive recursive functions
• scientific article; zbMATH DE number 3245446 (Why is no real title available?)
• scientific article; zbMATH DE number 3310899 (Why is no real title available?)
• Closure functions and general iterates as reflectors
• On a problem of R. Pöschel on locally invertible monoids
• An exactification of the monoid of primitive recursive functions

This page was built for publication: On the Algebraic Structure of Primitive Recursive Functions

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