We consider two categories with one object, namely the set of all partial functions of one variable from the set of natural numbers into itself; the morphisms are the partial recursive operators in one case, and certain continuous partial mappings in the other case. We show that these categories are recursion categories and we characterize the domains and the complete domains. Some observations are made on a notion of reducibility obtained by using the total morphisms of these categories, and, subsequently, the general recursive operators. MSC: 03D65, 03D45, 18B20

Sorbi, A. (1992). Reducibility in some categories of partial recursive operators. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 38(1), 349-359 [10.1002/malq.19920380133].

Reducibility in some categories of partial recursive operators

Sorbi, Andrea
1992-01-01

Abstract

We consider two categories with one object, namely the set of all partial functions of one variable from the set of natural numbers into itself; the morphisms are the partial recursive operators in one case, and certain continuous partial mappings in the other case. We show that these categories are recursion categories and we characterize the domains and the complete domains. Some observations are made on a notion of reducibility obtained by using the total morphisms of these categories, and, subsequently, the general recursive operators. MSC: 03D65, 03D45, 18B20
1992
Sorbi, A. (1992). Reducibility in some categories of partial recursive operators. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 38(1), 349-359 [10.1002/malq.19920380133].
File in questo prodotto:
File Dimensione Formato  
category-partial-recursive.pdf

non disponibili

Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 608.98 kB
Formato Adobe PDF
608.98 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/1082757