Graduate studies at Western
|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||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Lars Birkedal (2002). A General Notion of Realizability. Bulletin of Symbolic Logic 8 (2):266-282.
Steve Awodey & Audrej Bauer (2008). Sheaf Toposes for Realizability. Archive for Mathematical Logic 47 (5):465-478.
Steve Awodey, Carsten Butz & Alex Simpson (2007). Relating First-Order Set Theories and Elementary Toposes. 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.
Silvio Ghilardi (1991). Incompleteness Results in Kripke Semantics. Journal of Symbolic Logic 56 (2):517-538.
Added to index2010-09-08
Total downloads11 ( #107,498 of 739,739 )
Recent downloads (6 months)1 ( #61,680 of 739,739 )
How can I increase my downloads?