Elementary formal systems as a framework for relative recursion theory
Notre Dame Journal of Formal Logic 23 (1):39-52 (1982)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
|
| Through your library | Configure |
R. L. Goodstein (1961/2010). Recursive Analysis. Dover Publications.
Mingzhong Cai (2012). Degrees of Relative Provability. Notre Dame Journal of Formal Logic 53 (4):479-489.
Brent Mundy (1989). Elementary Categorial Logic, Predicates of Variable Degree, and Theory of Quantity. Journal of Philosophical Logic 18 (2):115 - 140.
Jaap van Oosten (2006). A General Form of Relative Recursion. Notre Dame Journal of Formal Logic 47 (3):311-318.
M. Dolores Jiménez López (2006). A Grammar Systems Approach to Natural Language Grammar. Linguistics and Philosophy 29 (4):419 - 454.
LouDen Dries & Adam H. Lewenberg (1995). T-Convexity and Tame Extensions. Journal of Symbolic Logic 60 (1):74 - 102.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Michael Rathjen (2006). Theories and Ordinals in Proof Theory. Synthese 148 (3):719 - 743.
Zoltan Domotor, Mario Zanotti & Henson Graves (1980). Probability Kinematics. Synthese 44 (3):421 - 442.
Anil Nerode & Richard A. Shore (eds.) (1985). Recursion Theory. American Mathematical Society.
Jens Erik Fenstad & Peter G. Hinman (eds.) (1974). Generalized Recursion Theory. New York,American Elsevier Pub. Co..
Pietro G. Morasso (2000). Is Schema Theory an Appropriate Framework for Modeling the Organization of the Brain? Behavioral and Brain Sciences 23 (4):547-548.
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,501 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |

