Carnegie Mellon University
Browse
file.pdf (241.5 kB)

Sheaf Toposes for Realizability

Download (241.5 kB)
journal contribution
posted on 2004-09-07, 00:00 authored by Steven AwodeySteven Awodey, Andrej Bauer
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms to study the relationship between realizability models over different partial combinatory algebras. This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.

History

Publisher Statement

The original publication is available at www.springerlink.com.

Date

2004-09-07

Usage metrics

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC