More exact completions that are toposes

Annals of Pure and Applied Logic 116 (1-3):187-203 (2002)
  Copy   BIBTEX

Abstract

Assuming some extra structure we simplify the characterization of the categories with finite limits whose exact completions are toposes given in Menni . This simplification allows us to obtain new examples and non-examples and also to provide a new perspective and an alternative proof of recent results on the inevitability of untypedness for realizability toposes

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(01)00111-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Inductive types and exact completion.Benno van den Berg - 2005 - Annals of Pure and Applied Logic 134 (2-3):95-121.
Extensional realizability.Jaap van Oosten - 1997 - Annals of Pure and Applied Logic 84 (3):317-349.
Models of intuitionistic set theory in subtoposes of nested realizability toposes.Samuele Maschio & Thomas Streicher - 2015 - Annals of Pure and Applied Logic 166 (6):729-739.
Triposes, q-toposes and toposes.Jonas Frey - 2015 - Annals of Pure and Applied Logic 166 (2):232-259.
Nonstandard proof methods in toposes.José Siqueira - 2024 - Annals of Pure and Applied Logic 175 (5):103424.
Relating first-order set theories and elementary toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
Relating First-Order Set Theories and Elementary Toposes.Steve Awodey & Thomas Streicher - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.Joanna Golińska-Pilarek & Taneli Huuskonen - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
Ultrafilters, finite coproducts and locally connected classifying toposes.Richard Garner - 2020 - Annals of Pure and Applied Logic 171 (10):102831.
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.

Analytics

Added to PP
2014-01-16

Downloads
28 (#556,056)

6 months
11 (#341,089)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Extensional realizability.Jaap van Oosten - 1997 - Annals of Pure and Applied Logic 84 (3):317-349.

Add more references