An exactification of the monoid of primitive recursive functions

DOI10.1007/S11225-005-2765-XMaRDI QIDQ817674zbMATH OpenOpenAlexFDO

Authors Philip Scott, J. Lambek

Publication date 17 March 2006

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-005-2765-x

zbMATH Keywords

idempotent splitting completionpersprimitive recursive functionregular and exact categoryrelation calculus

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• scientific article; zbMATH DE number 3944108
• On Closed Classes of Primitive Recursive Functions, II
• Primitive recursion, equality, and a universal set
• On the Algebraic Structure of Primitive Recursive Functions
• A complete characterization of primitive recursive intensional behaviours

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 53544 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 937369 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• ABOUT MODEST SETS
• Constructive natural deduction and its ‘ω-set’ interpretation
• Diagram chasing in ordered categories with involution
• Exact categories and categories of sheaves
• Functorial polymorphism
• Goursats Theorem and the Zassenhaus Lemma
• Least fixpoints of endofunctors of cartesian closed categories
• Regular and exact completions

Cited in

(3)

• scientific article; zbMATH DE number 3944108 (Why is no real title available?)
• On the Algebraic Structure of Primitive Recursive Functions
• Aspects of categorical recursion theory

This page was built for publication: An exactification of the monoid of primitive recursive functions

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