Triposes, q-toposes and toposes

Annals of Pure and Applied Logic 166 (2):232-259 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2014.10.005

Links

PhilArchive



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

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

The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
Elementary Axioms for Local Maps of Toposes.Steve Awodey & Lars Birkedal - unknown
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.
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
Syntax and Semantics of the Logic.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
Sheaf toposes for realizability.Steven Awodey & Andrej Bauer - 2008 - Archive for Mathematical Logic 47 (5):465-478.
Isomorphism of structures in s-toposes.J. L. Bell - 1981 - Journal of Symbolic Logic 46 (3):449-459.
More exact completions that are toposes.Matı́as Menni - 2002 - Annals of Pure and Applied Logic 116 (1-3):187-203.
Review: J. L. Bell, Toposes and Local Set Theories. An Introduction. [REVIEW]G. C. Wraith - 1990 - Journal of Symbolic Logic 55 (2):886-887.
Triangular Logic of Partial Toposes.Adam Obtulowicz - 2000 - Journal of Applied Non-Classical Logics 10 (2):173-212.
Elementary axioms for canonical points of toposes.Colin McLarty - 1987 - Journal of Symbolic Logic 52 (1):202-204.
Scattered toposes.Leo Esakia, Mamuka Jibladze & Dito Pataraia - 2000 - Annals of Pure and Applied Logic 103 (1-3):97-107.

Analytics

Added to PP
2014-11-22

Downloads
30 (#517,657)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On a Generalization of Equilogical Spaces.Fabio Pasquali - 2018 - Logica Universalis 12 (1-2):129-140.

Add more citations

References found in this work

Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
La logique Des topos.André Boileau & André Joyal - 1981 - Journal of Symbolic Logic 46 (1):6-16.

Add more references