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: 93,127

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

Well-foundedness in Realizability.M. Hofmann, J. van Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.
Well-foundedness in Realizability.M. Hofmann, J. Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.
Sheaf Representation for Topoi.Steve Awodey - unknown
Preface.Douglas Cenzer & Rebecca Weber - 2008 - Archive for Mathematical Logic 46 (7-8):529-531.
Preface.Douglas Cenzer, Valentina Harizanov, David Marker & Carol Wood - 2009 - Archive for Mathematical Logic 48 (1):1-6.
Local Realizability Toposes and a Modal Logic for Computability.Steve Awodey, Lars Birkedal & Dana Scott - unknown
Erratum: “Forcing and antifoundation”. [REVIEW]Athanassios Tzouvaras - 2005 - Archive for Mathematical Logic 44 (5):663-663.
Computability in Europe 2008.Arnold Beckmann, Costas Dimitracopoulos & Benedikt Löwe - 2010 - Archive for Mathematical Logic 49 (2):119-121.
Hardness assumptions in the foundations of theoretical computer science.Jan Krajíček - 2005 - Archive for Mathematical Logic 44 (6):667-675.
Preface.[author unknown] - 2005 - Archive for Mathematical Logic 44 (6):665-666.

Analytics

Added to PP
2010-09-08

Downloads
18 (#860,222)

6 months
167 (#21,086)

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