An existence theorem for recursion categories

Journal of Symbolic Logic 55 (3):1252-1268 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274486

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

[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.
On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
Dominical categories: Recursion theory without elements.Robert A. Paola & Alex Heller - 1987 - Journal of Symbolic Logic 52 (3):594 - 635.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
The Fan Theorem and Unique Existence of Maxima.Josef Berger, Douglas Bridges & Peter Schuster - 2006 - Journal of Symbolic Logic 71 (2):713 - 720.
On the proof of Solovay's theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
A short proof of reny's existence theorem for payoff secure games.Pavlo Prokopovych - unknown
[Introduction].Wilfrid Hodges - 1986 - Journal of Symbolic Logic 51 (4):865.

Analytics

Added to PP
2009-01-28

Downloads
19 (#775,535)

6 months
1 (#1,533,009)

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