On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory
Notre Dame Journal of Formal Logic 9 (4):289-293 (1968)
| 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 (1995). Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. Journal of Symbolic Logic 60 (4):1208-1241.
Sergei Tupailo (2001). Realization of Analysis Into Explicit Mathematics. Journal of Symbolic Logic 66 (4):1848-1864.
Zlatan Damnjanovic (1997). Elementary Realizability. Journal of Philosophical Logic 26 (3):311-339.
Lars Birkedal (2002). A General Notion of Realizability. Bulletin of Symbolic Logic 8 (2):266-282.
S. C. Kleene (1945). On the Interpretation of Intuitionistic Number Theory. Journal of Symbolic Logic 10 (4):109-124.
Jaap Van Oosten (1990). Lifschitz' Realizability. Journal of Symbolic Logic 55 (2):805 - 821.
Joan Rand Moschovakis (2003). Classical and Constructive Hierarchies in Extended Intuitionistic Analysis. Journal of Symbolic Logic 68 (3):1015-1043.
Luis E. Sanchis (1992). Recursive Functionals. North-Holland.
Stephen Cole Kleene (1965). The Foundations of Intuitionistic Mathematics. Amsterdam, North-Holland Pub. Co..
Steve Awodey, Carsten Butz & Alex Simpson (2007). Relating First-Order Set Theories and Elementary Toposes. The Bulletin of Symbolic Logic 13 (3):340 - 358.
S. C. Kleene (1962). Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Journal of Symbolic Logic 27 (1):11-18.
S. C. Kleene (1963). An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Journal of Symbolic Logic 28 (2):154-156.
M. Beeson & A. Ščedrov (1984). Church's Thesis, Continuity, and Set Theory. Journal of Symbolic Logic 49 (2):630-643.
Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) (1980). The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
R. L. Goodstein (1961/2010). Recursive Analysis. Dover Publications.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads7 ( #133,421 of 549,065 )Recent downloads (6 months)2 ( #37,252 of 549,065 )How can I increase my downloads? |
My notes
Discussion
