Weak compactness in constructive spaces

DOI10.1017/S0305004100075162MaRDI QIDQ3994048zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Weak continuity properties in constructive analysis
• scientific article; zbMATH DE number 835716
• scientific article; zbMATH DE number 599718
• Weakly Pseudocompact Spaces
• scientific article; zbMATH DE number 176082
• On the strength of weak compactness
• scientific article; zbMATH DE number 883204
• Weakly -compact spaces
• Compactness and countable compactness in weak topologies
• On weak compactness in spaces of measures

Cites work

• An extension of the Galois theory of Grothendieck

Cited in

(15)

• Compact perfect sets in weak analytic spaces
• Proper maps of locales
• Weak compactness of the set of -extensions
• Weakly absolute retracts for bicompacts
• The Michael completion of a topos spread
• Constructive strong regularity and the extension property of a compactification
• The weakly compact reflection principle need not imply a high order of weak compactness
• scientific article; zbMATH DE number 19503 (Why is no real title available?)
• scientific article; zbMATH DE number 176096 (Why is no real title available?)
• Compactness and countable compactness in weak topologies
• scientific article; zbMATH DE number 2156379 (Why is no real title available?)
• scientific article; zbMATH DE number 2103289 (Why is no real title available?)
• Weak Convergence and Weak Compactness in Abstract M Spaces
• Generalising compactness
• Locatedness and overt sublocales

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3994048)