Pre-recursive categories

DOI10.1016/0022-4049(82)90060-3MaRDI QIDQ1164127zbMATH OpenOpenAlexFDO

Authors 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

natural numbers objectcartesian closed categorypre-recursive categoryprimitive recursive functions in categoriesrecursive functionals of finite type

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3247155 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• Aspects of topoi
• Categorical algebra
• Computability and λ-definability
• Functional completeness of cartesian categories
• General recursive functions of natural numbers
• Recursive Functionals and Quantifiers of Finite Types I
• Recursive objects in all finite types
• \(\lambda\)-definability and recursiveness
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(4)

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

This page was built for publication: Pre-recursive categories

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