Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0565.18004
Coppey, L.
Catégories de Peano et catégories algorithmiques, récursivité. (French)
[J] Diagrammes 12, LC 1-LC 47 (1984). ISSN 0224-3911

The main aim of this paper is to give some definitions and results about recursion theory in an algebraic setting, in order to point out the role of categorical algebra in recursion theory. According to the author, a detailed study of more technical questions in recursion theory is not to be find here. \par The paper is divided into four chapters. In chapters 1 and 3 Peano categories and recursive functions are introduced. In chapters 2 and 4 (which is claimed to be the more important) more particular questions, as Kan extensions, D-algebras and generating methods for partial structures are studied.
[P.L.Ferrari]

MSC 2000:: *18B99 Special categories
18A15 Relations of category theory to logic
03D20 Recursive functions
18A40 Adjoint functors
18D35 Structured objects in a category

Keywords: recursion theory; Peano categories; Kan extensions; partial structures

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]