Elementary Axioms for Local Maps of Toposes

&

Abstract

We present a complete elementary axiomatization of local maps of toposes

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

  • Only published works are available at libraries.

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 canonical points of toposes.Colin McLarty - 1987 - Journal of Symbolic Logic 52 (1):202-204.
From absolute to local mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.
Book Review: Colin McLarty. Elementary Categories, Elementary Toposes. [REVIEW]Jean-Pierre Marquis - 1998 - Notre Dame Journal of Formal Logic 39 (3):436-445.
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
A hierarchy of maps between compacta.Paul Bankston - 1999 - Journal of Symbolic Logic 64 (4):1628-1644.
The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
Elementary properties of power series fields over finite fields.Franz-Viktor Kuhlmann - 2001 - Journal of Symbolic Logic 66 (2):771-791.
Book review: John Bell. Introduction to toposes and local set theory. [REVIEW]Colin McLarty - 1989 - Notre Dame Journal of Formal Logic 31 (1):150-161.
Sheaf toposes for realizability.Steven Awodey & Andrej Bauer - 2008 - Archive for Mathematical Logic 47 (5):465-478.
Elementary realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.
Existentially closed models of the theory of artinian local rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.
Formal languages defined by the underlying structure of their words.J. P. Ressayre - 1988 - Journal of Symbolic Logic 53 (4):1009-1026.
Mathematical Physics and Elementary Logic.Brent Mundy - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:289 - 301.

Analytics

Added to PP
2010-09-14

Downloads
19 (#750,145)

6 months
4 (#678,769)

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

No references found.

Add more references