Akira Kanda. Recursion theorems and effective domains. Annals of pure and applied logic, vol. 38 , pp. 289–300

Journal of Symbolic Logic 56 (1):335 (1991)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274928
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,443
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Recursion Theorems and Effective Domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Tabular Degrees in \Ga-Recursion Theory.Colin Bailey & Rod Downey - 1992 - Annals of Pure and Applied Logic 55 (3):205-236.
Retracts of Numerations.Akira Kanda - 1989 - Annals of Pure and Applied Logic 42 (3):225-242.
Two Splitting Theorems for Beta-Recursion Theory.Steven Homer - 1980 - Annals of Pure and Applied Logic 18 (2):137.
More Existence Theorems for Recursion Categories.Florian Lengyel - 2004 - Annals of Pure and Applied Logic 125 (1-3):1-41.
Set Recursion and Πhalf-Logic.Jean-Yves Girard & Dag Normann - 1985 - Annals of Pure and Applied Logic 28 (3):255-286.
Splitting Theorems in Recursion Theory.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 65 (1):1-106.
The Cardinals Below [Ω1]<Ω1.W. Hugh Woodin - 2006 - Annals of Pure and Applied Logic 140 (1-3):161-232.
The Cardinals Below | [ Ω 1 ] Ω 1 |.W. Hugh Woodin - 2006 - Annals of Pure and Applied Logic 140 (1-3):161-232.
A Recursion-Theoretic Approach to NP.Isabel Oitavem - 2011 - Annals of Pure and Applied Logic 162 (8):661-666.
Total Sets and Objects in Domain Theory.Ulrich Berger - 1993 - Annals of Pure and Applied Logic 60 (2):91-117.

Analytics

Added to PP index
2016-06-30

Total views
17 ( #542,031 of 2,292,063 )

Recent downloads (6 months)
1 ( #823,434 of 2,292,063 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature