Abstract
AbstractWe introduce a constructively weak variant of compactness for locales as a supplement to weak closure, a notion which has featured in the constructive formulation of some recent results in locale theory.
Publisher
Cambridge University Press (CUP)
Reference8 articles.
1. A constructive closed subgroup theorem for localic groups and groupoids;Johnstone;Cahiers Topologie Gom. Diffrentielle Catgorigues,1989
2. A note on iterative arguments in a topos;Vermeulen;Math. Proc. Cambridge Philos. Soc.,1991
3. Some topos theoretic concepts of finiteness
4. Identity and existence in intuitionistic logic
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Frames and Locales;Frontiers in Mathematics;2012
2. Locatedness and overt sublocales;Annals of Pure and Applied Logic;2010-10
3. The Michael completion of a topos spread;Journal of Pure and Applied Algebra;2002-11
4. Elements of the History of Locale Theory;Handbook of the History of General Topology;2001