Article contents
Weak compactness in constructive spaces
Published online by Cambridge University Press: 24 October 2008
Abstract
We 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.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 111 , Issue 1 , January 1992 , pp. 63 - 74
- Copyright
- Copyright © Cambridge Philosophical Society 1992
References
REFERENCES
- 3
- Cited by