A completeness theorem for open maps

A. Joyal; I. Moerdijk

doi:10.1016/0168-0072(94)90069-8

A completeness theorem for open maps

A. Joyal
, I. Moerdijk^*

^*Corresponding author for this work

Université du Québec à Montréal

Research output: Contribution to journal › Article › Academic › peer-review

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 (related to the set-theoretical axiom with the same name) holds.

Original language	English
Pages (from-to)	51-86
Number of pages	36
Journal	Annals of Pure and Applied Logic
Volume	70
Issue number	1
DOIs	https://doi.org/10.1016/0168-0072(94)90069-8
Publication status	Published - 18 Nov 1994

Bibliographical note

Funding Information:
We acknowledge financial support from the Canadian NSERC and the Dutch NWO.

Funding

We acknowledge financial support from the Canadian NSERC and the Dutch NWO.

Access to Document

10.1016/0168-0072(94)90069-8

Cite this

@article{9490041e91984c7b8db37f1760e6c4b9,

title = "A completeness theorem for open maps",

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 (related to the set-theoretical axiom with the same name) holds.",

author = "A. Joyal and I. Moerdijk",

note = "Funding Information: We acknowledge financial support from the Canadian NSERC and the Dutch NWO.",

year = "1994",

month = nov,

day = "18",

doi = "10.1016/0168-0072(94)90069-8",

language = "English",

volume = "70",

pages = "51--86",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

number = "1",

}

TY - JOUR

T1 - A completeness theorem for open maps

AU - Joyal, A.

AU - Moerdijk, I.

N1 - Funding Information: We acknowledge financial support from the Canadian NSERC and the Dutch NWO.

PY - 1994/11/18

Y1 - 1994/11/18

N2 - 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 (related to the set-theoretical axiom with the same name) holds.

AB - 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 (related to the set-theoretical axiom with the same name) holds.

UR - https://www.scopus.com/pages/publications/0001789877

U2 - 10.1016/0168-0072(94)90069-8

DO - 10.1016/0168-0072(94)90069-8

M3 - Article

AN - SCOPUS:0001789877

SN - 0168-0072

VL - 70

SP - 51

EP - 86

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1

ER -

A completeness theorem for open maps

Abstract

Bibliographical note

Funding

Access to Document

Other files and links

Fingerprint

Cite this