Constructive points of powerlocales

Mathematical Proceedings of the Cambridge Philosophical Society

Volumn 122, Issue 2, 1997, Pages 207-222

  Vickers, Steven ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21744444888     PISSN: 03050041     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0305004196001636     Document Type: Article

References (13)

1. S. ABRAMSKY and S. J. VICKERS. Quantales, observational logic and process semantics. Math. Structures Comput. Sci. 3 (1993), 161-227.
2. B. BANASCHEWSKI. Another look at the localic Tychonoff theorem. Comment. Math. Univ. Carolin. 29 (1988), 647-656.
3. M. BUNGE and J. FUNK. Constructive theory of the lower power locale. Math. Structures Comput. Sci. 6 (1996), 69-83.
4. K. H. HOFMANN and M. W. MISLOVE. Local compactness and continuous lattices; in: Continuous lattices, Lecture Notes in Math. vol. 871 (Springer-Verlag, 1981), pp. 209-248.
5. P. T. JOHNSTONE. Stone Spaces. Cambridge Studies in Advanced Math. no. 3 (Cambridge University Press, 1982).
6. P. T. JOHNSTONE. Open locales and exponentiation. Contemporary Mathematics 30 (1984), 84-116.
7. P. T. JOHNSTONE. Vietoris locales and localic semi-lattices; in: Continuous lattices and their applications, Lecture Notes in Pure and Applied Math. vol. 101 (Marcel Dekker, 1985), pp. 155-180.
8. P. T. JOHNSTONE. A constructive 'closed subgroup theorem' for localic groups and groupoids. Cahiers Topologie Géom. Differentielle Catégoriques 30 (1989), 3-23.
9. P. T. JOHNSTONE and S. J. VICKERS. Preframe presentations present; in: Category theory - Proceedings, Como, 1990, Lecture Notes in Math. vol. 1488 (Springer-Verlag, 1991), pp. 193-212.
10. A. JOYAL and M. TIERNEY. An extension of the Galois theory of Grothendieck. Mem. Amer. Math. Soc., vol. 309 (1984).
11. J. J. C. VERMEULEN. Proper maps of locales. J. Pure Appl. Algebra 92 (1994), 79-107.
12. S. J. VICKERS. Locales are not pointless; in: Theory and formal methods 1994 (Imperial College Press, 1995), pp. 199-216.
13. S. J. VICKERS. Topology via logic. Cambridge Tracts in Theoretical Computer Science no. 5 (Cambridge University Press, 1988).