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, 18B20File | 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.
https://hdl.handle.net/11365/1082757