Dominical categories: Recursion theory without elements

&
Journal of Symbolic Logic 52 (3):594 - 635 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274352

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dominical categories: recursion theory without elements.Robert A. di Paola & Alex Heller - 1987 - Journal of Symbolic Logic 52 (3):594-635.
Reducibility in some categories of partial recursive operators.Caterina Bianchini & Andrea Sorbi - 1992 - Mathematical Logic Quarterly 38 (1):349-359.
More existence theorems for recursion categories.Florian Lengyel - 2004 - Annals of Pure and Applied Logic 125 (1-3):1-41.
Review: Robert I. Soare, Recursion Theory and Dedekind Cuts; Robert I. Soare, Cohesive Sets and Recursively Enumerable Dedekind Cuts. [REVIEW]Brian H. Mayoh - 1971 - Journal of Symbolic Logic 36 (1):148-148.
An existence theorem for recursion categories.Alex Heller - 1990 - Journal of Symbolic Logic 55 (3):1252-1268.
A relativization mechanism in recursion categories.Stefano Stefani - 1993 - Journal of Symbolic Logic 58 (4):1251-1267.
Introduction to Turing categories.J. Robin B. Cockett & Pieter Jw Hofstra - 2008 - Annals of Pure and Applied Logic 156 (2):183-209.
Creativeness and completeness in recursion categories of partial recursive operators.Franco Montagna & Andrea Sorbi - 1989 - Journal of Symbolic Logic 54 (3):1023-1041.
Review: Sy. D. Friedman, $beta$-Recursion Theory; Sy D. Friedman, Post's Problem without Admissibility. [REVIEW]Steven Homer - 1981 - Journal of Symbolic Logic 46 (3):664-665.

Analytics

Added to PP
2009-01-28

Downloads
69 (#307,779)

6 months
8 (#613,944)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

More existence theorems for recursion categories.Florian Lengyel - 2004 - Annals of Pure and Applied Logic 125 (1-3):1-41.
Introduction to Turing categories.J. Robin B. Cockett & Pieter Jw Hofstra - 2008 - Annals of Pure and Applied Logic 156 (2):183-209.

Add more citations

References found in this work

No references found.

Add more references