scientific article; zbMATH DE number 3899128

MaRDI QIDQ3677913zbMATH OpenFDO

Authors Richard Mijoule

Publication date 1984

Full work available at URL https://eudml.org/doc/91745

zbMATH Keywords

higher-order recursionindexed categoriesrecursive structureS-computableS-semi-computable

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Fibered categories (18D30)

Recommendations

• On \(R\)-universal functions
• On the existence and structure of universal functions
• UNIVERSAL FUNCTIONS IN PARTIAL STRUCTURES
• scientific article; zbMATH DE number 5062001
• A universal recursive function on admissible sets
• Universal functions and _ -bounded structures
• Universal functions and \(K \Sigma \)-structures
• On the universal functions
• scientific article; zbMATH DE number 2052602
• Universal functions and almost \(c\)-simple models

Cited in

(4)

• scientific article; zbMATH DE number 4041902 (Why is no real title available?)
• Ultradiophantine Categories
• Primitive recursion, equality, and a universal set
• Fibrations and recursivity

This page was built for publication:

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