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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Contributions to [alpha]- and [beta]-recursion theory.Wolfgang Maass - 1978 - München: Minerva-Publikation.
An existence theorem for recursion categories.Alex Heller - 1990 - Journal of Symbolic Logic 55 (3):1252-1268.
Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of peano arithmetic.Robert A. di Paola & Franco Montagna - 1991 - Journal of Symbolic Logic 56 (2):643-660.
Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of peano arithmetic.Robert A. Di Paola & Franco Montagna - 1991 - Journal of Symbolic Logic 56 (2):643 - 660.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Recursion theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - Providence, R.I.: American Mathematical Society.
Fundamentals of computation theory: proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977.Marek Karpiński (ed.) - 1977 - New York: Springer Verlag.
Generalized recursion theory.Jens Erik Fenstad & Peter G. Hinman (eds.) - 1974 - New York,: American Elsevier Pub. Co..
General recursion theory: an axiomatic approach.Jens Erik Fenstad - 1980 - New York: Springer Verlag.

Analytics

Added to PP
2009-01-28

Downloads
54 (#288,506)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

Add more citations

References found in this work

No references found.

Add more references