Weak compactness in constructive spaces

DOI10.1017/S0305004100075162zbMath0767.18004OpenAlexW2147644238MaRDI QIDQ3994048

J. J. C. Vermeulen

Publication date: 13 August 1992

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004100075162

zbMATH Keywords

localesweakly closed subspaces

Mathematics Subject Classification ID

Compactness (54D30) Topological spaces and generalizations (closure spaces, etc.) (54A05) Heyting algebras (lattice-theoretic aspects) (06D20) Topoi (18B25) Categorical methods in general topology (54B30)

Related Items (4)

Unnamed Item ⋮ Locatedness and overt sublocales ⋮ The Michael completion of a topos spread ⋮ Proper maps of locales

Cites Work

• An extension of the Galois theory of Grothendieck

This page was built for publication: Weak compactness in constructive spaces