Local Realizability Toposes and a Modal Logic for Computability
| Abstract | This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The resulting framework is intended as a setting for the logical and categorical study of relative computability | |||||||||
| 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,653 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesLars Birkedal (2002). A General Notion of Realizability. Bulletin of Symbolic Logic 8 (2):266-282.
Steve Awodey, Carsten Butz & Alex Simpson (2007). Relating First-Order Set Theories and Elementary Toposes. The Bulletin of Symbolic Logic 13 (3):340 - 358.
Marta Bunge (1984). Toposes in Logic and Logic in Toposes. Topoi 3 (1):13-22.
Guram Bezhanishvili, Leo Esakia & David Gabelaia (2010). The Modal Logic of Stone Spaces: Diamond as Derivative. Review of Symbolic Logic 3 (1):26-40.
Colin McLarty (1989). Book Review: John Bell. Introduction to Toposes and Local Set Theory. [REVIEW] Notre Dame Journal of Formal Logic 31 (1):150-161.
Valery Plisko (2009). A Survey of Propositional Realizability Logic. Bulletin of Symbolic Logic 15 (1):1-42.
Shawn Hedman (2004). A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford University Press.
Colin McLarty (1990). The Uses and Abuses of the History of Topos Theory. British Journal for the Philosophy of Science 41 (3):351-375.
Stewart Shapiro (1983). Remarks on the Development of Computability. History and Philosophy of Logic 4 (1-2):203-220.
George Boolos (2007). Computability and Logic. Cambridge University Press.
Silvio Ghilardi (1991). Incompleteness Results in Kripke Semantics. Journal of Symbolic Logic 56 (2):517-538.
Analytics
Monthly downloads |
Added to index2010-09-08Total downloads11 ( #99,430 of 548,984 )Recent downloads (6 months)2 ( #37,320 of 548,984 )How can I increase my downloads? |
My notes
Discussion
