Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive $\omega$ -Rule
Notre Dame Journal of Formal Logic 39 (3):363-388 (1998)
| 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,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesZlatan Damnjanovic (1994). Strictly Primitive Recursive Realizability, I. Journal of Symbolic Logic 59 (4):1210-1227.
Joachim Lambek & Philip Scott (2005). An Exactification of the Monoid of Primitive Recursive Functions. Studia Logica 81 (1):1 - 18.
Zlatan Damnjanovic (1995). Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. Journal of Symbolic Logic 60 (4):1208-1241.
James C. Owings Jr (1989). A Cardinality Version of Biegel's Nonspeedup Theorem. Journal of Symbolic Logic 54 (3):761-767.
Zlatan Damnjanovic (1997). Elementary Realizability. Journal of Philosophical Logic 26 (3):311-339.
Charles Sayward (2000). Remarks on Peano Arithmetic. Russell 20:27-32.
G. L. McColm (1989). Some Restrictions on Simple Fixed Points of the Integers. Journal of Symbolic Logic 54 (4):1324-1345.
Michael Rathjen (1992). A Proof-Theoretic Characterization of the Primitive Recursive Set Functions. Journal of Symbolic Logic 57 (3):954-969.
Daniel E. Severin (2008). Unary Primitive Recursive Functions. Journal of Symbolic Logic 73 (4):1122-1138.
E. Grädel & A. Malmström (forthcoming). 0-1 Laws for Recursive Structures. Archive for Mathematical Logic.
Stephen H. McCleary (1967). Primitive Recursive Computations. Notre Dame Journal of Formal Logic 8 (4):311-317.
Frank B. Cannonito & Mark Finkelstein (1969). On Primitive Recursive Permutations and Their Inverses. Journal of Symbolic Logic 34 (4):634-638.
Stanley H. Stahl (1977). Primitive Recursive Ordinal Functions with Added Constants. Journal of Symbolic Logic 42 (1):77-82.
Alexander P. Kreuzer (2012). Primitive Recursion and the Chain Antichain Principle. Notre Dame Journal of Formal Logic 53 (2):245-265.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads7 ( #133,420 of 549,067 )Recent downloads (6 months)1 ( #63,185 of 549,067 )How can I increase my downloads? |
My notes
Discussion
