Completeness of quasi-uniform and syntopological spaces (1994)
by
M. B. Smyth
| Venue: | J. London Math. Soc |
| Citations: | 14 - 0 self |
BibTeX
@ARTICLE{Smyth94completenessof,
author = {M. B. Smyth},
title = {Completeness of quasi-uniform and syntopological spaces},
journal = {J. London Math. Soc},
year = {1994},
volume = {49},
pages = {385--400}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we begin to develop the filter approach to (completeness of) quasiuniform spaces, proposed in [8, Section V]. It will be seen that this permits a more powerful and elegant account of completion to be given than was feasible using sequences or nets [8].
Citations
| 62 | domains and predicate transformers: a topological view - Smyth, Power - 1983 |
| 41 | Quasi-uniform spaces - Fletcher, Lindgren - 1982 |
| 19 | Stone spaces (Cambridge - Johnstone - 1982 |
| 17 | Elements of mathematics. General topology. Part 1 - Bourbaki - 1966 |
| 10 | Stable compactification I - Smyth - 1992 |
| 8 | Domains for denotational semantics. In Automata, languages and programming - Scott - 1982 |
| 4 | Quasi-uniformities: reconciling domains and metric spaces, Lecture - Smyth |
| 1 | Foundations of general topology (Pergamon - CSASZAR - 1963 |
| 1 | Grundlagen der analytische Topologie - NOBELING - 1954 |
| 1 | The Smyth-completion of a quasi-uniform space', Fachbereich Mathematik, Technische Hochschule Darmstadt, preprint 1427 - SUNDERHAUF - 1991 |
