A completeness theorem for open maps

&
Annals of Pure and Applied Logic 70 (1):51-86 (1994)
  Copy   BIBTEX

Abstract

This paper provides a partial solution to the completeness problem for Joyal's axiomatization of open and etale maps, under the additional assumption that a collection axiom holds

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(94)90069-8

Links

PhilArchive



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

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 associated sheaf functor theorem in algebraic set theory.Nicola Gambino - 2008 - Annals of Pure and Applied Logic 156 (1):68-77.
On NP-completeness in Linear Logic.Alexey P. Kopylov - 1995 - Annals of Pure and Applied Logic 75 (1-2):137-152.
Completeness and cut-elimination theorems for trilattice logics.Norihiro Kamide & Heinrich Wansing - 2011 - Annals of Pure and Applied Logic 162 (10):816-835.
Axiomatizing first-order consequences in dependence logic.Juha Kontinen & Jouko Väänänen - 2013 - Annals of Pure and Applied Logic 164 (11):1101-1117.
Linear logic for nets with bounded resources.Dmitry A. Archangelsky, Mikhail I. Dekhtyar & Mikhail A. Taitslin - 1996 - Annals of Pure and Applied Logic 78 (1-3):3-28.
On the parallel between the suplattice and preframe approaches to locale theory.Christopher F. Townsend - 2006 - Annals of Pure and Applied Logic 137 (1-3):391-412.
Logic for update products and steps into the past.Joshua Sack - 2010 - Annals of Pure and Applied Logic 161 (12):1431-1461.
Some remarks on the Open Coloring Axiom.Justin Tatch Moore - 2021 - Annals of Pure and Applied Logic 172 (5):102912.
Fixed point theorems for precomplete numberings.Henk Barendregt & Sebastiaan A. Terwijn - 2019 - Annals of Pure and Applied Logic 170 (10):1151-1161.
A post-style proof of completeness theorem for symmetric relatedness Logic S.Mateusz Klonowski - 2018 - Bulletin of the Section of Logic 47 (3):201.

Analytics

Added to PP
2014-01-16

Downloads
24 (#155,087)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
A completeness theorem for open maps.A. Joyal & I. Moerdijk - 1994 - Annals of Pure and Applied Logic 70 (1):51-86.
The associated sheaf functor theorem in algebraic set theory.Nicola Gambino - 2008 - Annals of Pure and Applied Logic 156 (1):68-77.

Add more citations

References found in this work

Cover.[author unknown] - 2017 - Journal of Medicine and Philosophy 42 (2):NP-NP.
Cover.[author unknown] - 2016 - Journal of Medicine and Philosophy 41 (6):NP-NP.
Cover.[author unknown] - 2017 - Journal of Medicine and Philosophy 42 (4):NP-NP.
A topos-theoretic approach to reference and modality.Gonzalo E. Reyes - 1991 - Notre Dame Journal of Formal Logic 32 (3):359-391.
A completeness theorem for open maps.A. Joyal & I. Moerdijk - 1994 - Annals of Pure and Applied Logic 70 (1):51-86.

Add more references