Pre-recursive categories

DOI10.1016/0022-4049(82)90060-3zbMath0485.18005OpenAlexW2072017528MaRDI QIDQ1164127

Marie-France Thibault

Publication date: 1982

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(82)90060-3

zbMATH Keywords

cartesian closed categorynatural numbers objectpre-recursive categoryprimitive recursive functions in categoriesrecursive functionals of finite type

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15)

Related Items

Transport of finiteness structures and applications, Galois Theory of Algorithms, Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic, An equational variant of Lawvere's natural numbers object

Cites Work

• General recursive functions of natural numbers
• \(\lambda\)-definability and recursiveness
• Recursive Functionals and Quantifiers of Finite Types I
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Functional completeness of cartesian categories
• Categorical algebra
• Recursive objects in all finite types
• Aspects of topoi
• Computability and λ-definability
• Unnamed Item
• Unnamed Item
• Unnamed Item