Sheaf toposes for realizability

&
Archive for Mathematical Logic 47 (5):465-478 (2008)
  Copy   BIBTEX

Abstract

Steve Awodey and Audrej Bauer. Sheaf Toposes for Realizability

Categories

Keywords

Reprint years

DOI

10.1007/s00153-008-0090-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Local Realizability Toposes and a Modal Logic for Computability.Steve Awodey, Lars Birkedal & Dana Scott - unknown
Relating first-order set theories and elementary toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
Elementary Axioms for Local Maps of Toposes.Steve Awodey & Lars Birkedal - unknown
Sheaf Representation for Topoi.Steve Awodey - unknown
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
Relating first-order set theories, toposes and categories of classes.Steve Awodey, Carsten Butz, Alex Simpson & Thomas Streicher - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Multiple realizability.Eric Funkhouser - 2007 - Philosophy Compass 2 (2):303–315.
A general notion of realizability.Lars Birkedal - 2002 - Bulletin of Symbolic Logic 8 (2):266-282.
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Testing multiple realizability: A discussion of Bechtel and Mundale.Sungsu Kim - 2002 - Philosophy of Science 69 (4):606-610.
A liberal conception of multiple realizability.Eric Funkhouser - 2007 - Philosophical Studies 132 (3):467-494.

Analytics

Added to PP
2010-09-08

Downloads
167 (#117,901)

6 months
18 (#152,813)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steve Awodey
Carnegie Mellon University

Citations of this work

No citations found.

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Countable functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 27 (3):81--100.
Countable Functionals.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (3):359-360.

Add more references