A general notion of realizability
Bulletin of Symbolic Logic 8 (2):266-282 (2002)
| Abstract | We present a general notion of realizability encompassing both standard Kleene style realizability over partial combinatory algebras and Kleene style realizability over more general structures, including all partial cartesian closed categories. We shown how the general notion of realizability can be used to get models of dependent predicate logic, thus obtaining as a corollary (the known result) that the category Equ of equilogical spaces models dependent predicate logic. Moreover, we characterize when the general notion of realizability gives rise to a topos, i.e., a model of impredicative intuitionistic higher-order logic | |||||||||
| 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,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesEric Funkhouser (2007). A Liberal Conception of Multiple Realizability. Philosophical Studies 132 (3):467-494.
Valery Plisko (2009). A Survey of Propositional Realizability Logic. Bulletin of Symbolic Logic 15 (1):1-42.
Eric Funkhouser (2007). Multiple Realizability. Philosophy Compass 2 (2):303–315.
Jaap Van Oosten (1991). Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. Journal of Symbolic Logic 56 (3):964 - 973.
Zlatan Damnjanovic (1997). Elementary Realizability. Journal of Philosophical Logic 26 (3):311-339.
Jaap Van Oosten (1990). Lifschitz' Realizability. Journal of Symbolic Logic 55 (2):805 - 821.
Jaap van Oosten (2011). Partial Combinatory Algebras of Functions. Notre Dame Journal of Formal Logic 52 (4):431-448.
Fernando Ferreira & Ana Nunes (2006). Bounded Modified Realizability. Journal of Symbolic Logic 71 (1):329 - 346.
Zlatan Damnjanovic (1994). Strictly Primitive Recursive Realizability, I. Journal of Symbolic Logic 59 (4):1210-1227.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,316 of 549,013 )Recent downloads (6 months)1 ( #63,261 of 549,013 )How can I increase my downloads? |
My notes
Discussion
