A new look at localic interpolation theorems

Topology and its Applications

Volumn 153, Issue 16, 2006, Pages 3203-3218

  Picado, Jorge ^a  

^a UNIVERSITY OF COIMBRA   (Portugal)

Author keywords

Continuous real functions; Frame of reals; Frames; Locales; Normal frames; Upper (lower) frame of reals; Upper (lower) semicontinuous real functions

Indexed keywords

EID: 33748416167     PISSN: 01668641     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.topol.2004.10.022     Document Type: Article

References (17)

1. Banaschewski B. The Real Numbers in Pointfree Topology. Textos de Matemática, Série B vol. 12 (1997), Universidade de Coimbra, Coimbra
2. *-quotients in pointfree topology. Dissertationes Math. 412 (2002) 62 p
3. Buskes G., and van Rooij A. Topological Spaces: From Distance to Neighborhood (1997), Springer, New York
4. Dowker C.H., and Papert D. On Urysohn's Lemma. Proc. of the Second Topology Symposium, Prague, 1966 (1967), Academia, Prague 111-114
5. Ferreira M.J., and Picado J. A method of constructing compatible frame quasi-uniformities. Kyungpook Math. J. 44 (2004) 415-442
6. M.J. Ferreira, J. Picado, The semicontinuous quasi-uniformity of a frame, Preprint, University of Coimbra, 2004, submitted for publication
7. Fourman M.P., and Hyland J.M.E. Sheaf models for analysis. Applications of Sheaves. Lecture Notes in Math. vol. 753 (1979), Springer, Berlin 280-301
8. Johnstone P.T. Stone Spaces. Cambridge Stud. Adv. Math. vol. 3 (1982), Cambridge University Press, Cambridge
9. A. Joyal, Nouveaux fondaments de l'analyse, Lectures Montréal 1973 and 1974, unpublished
10. Katětov M. On real-valued functions in topological spaces. Fund. Math. 38 (1951) 85-91
11. Katětov M. Fund. Math. 40 (1953) 203-205 Correction
12. Kubiak T. A strengthening of the Katětov-Tong insertion theorem. Comment. Math. Univ. Carolin. 34 (1993) 357-362
13. Li Y.-M., and Wang G.-J. Localic Katětov-Tong insertion theorem and localic Tietze extension theorem. Comment. Math. Univ. Carolin. 38 (1997) 801-814
14. Tong H. Some characterizations of normal and perfectly normal spaces. Duke Math. J. 19 (1952) 289-292
15. J.J.C. Vermeulen, Constructive techniques in functional analysis, Doctoral dissertation, University of Sussex, 1987
16. Vickers S. Topology via Logic. Cambridge Tracts Theoret. Comput. Sci. vol. 5 (1985), Cambridge University Press, Cambridge
17. J. Walters-Wayland, Completeness and nearly fine uniform frames, Doctoral dissertation, University of Cape Town, 1996