Dominical categories: Recursion theory without elements
Journal of Symbolic Logic 52 (3):594 - 635 (1987)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWolfgang Maass (1978). Contributions to [Alpha]- and [Beta]-Recursion Theory. Minerva-Publikation.
Jens Erik Fenstad & Peter G. Hinman (eds.) (1974). Generalized Recursion Theory. New York,American Elsevier Pub. Co..
Anil Nerode & Richard A. Shore (eds.) (1985). Recursion Theory. American Mathematical Society.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Robert A. Paola & Franco Montagna (1991). Some Properties of the Syntactic P-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. Journal of Symbolic Logic 56 (2):643 - 660.
Robert A. di Paola & Franco Montagna (1991). Some Properties of the Syntactic P-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. Journal of Symbolic Logic 56 (2):643-660.
Alex Heller (1990). An Existence Theorem for Recursion Categories. Journal of Symbolic Logic 55 (3):1252-1268.
Robert A. Di Paola & Alex Heller (1987). Dominical Categories: Recursion Theory Without Elements. Journal of Symbolic Logic 52 (3):594-635.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,575 of 549,124 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
