Quasi-uniform completions of partially ordered spaces

David Buhagiar; Tanja Telenta

Displaying similar documents to “Quasi-uniform completions of partially ordered spaces”

Topological spaces which admit a compatible complete quasi-uniformity

Fletcher, P., Lindgren, W. F.

Similarity:

A new class of quasi-uniform spaces.

Romaguera, Salvador (2000)

Mathematica Pannonica

Similarity:

Graph topologies and uniform convergence in quasi-uniform spaces.

Jesús Rodríguez-López, Salvador Romaguera (2002)

Extracta Mathematicae

Similarity:

Quasi-uniform Space

Roland Coghetto (2016)

Formalized Mathematics

Similarity:

In this article, using mostly Pervin [9], Kunzi [6], [8], [7], Williams [11] and Bourbaki [3] works, we formalize in Mizar [2] the notions of quasiuniform space, semi-uniform space and locally uniform space. We define the topology induced by a quasi-uniform space. Finally we formalize from the sets of the form ((X Ω) × X) ∪ (X × Ω), the Csaszar-Pervin quasi-uniform space induced by a topological space.

Note on a result of E.P. Lane

Fletcher, P., Lindgren, W.F. (1976)

Portugaliae mathematica

Similarity:

On some questions in quasi-uniform topological spaces.

Jesús Ferrer Llopis, Valentín Gregori Gregori, Carmen Alegre Gil (1992)

Stochastica

Similarity:

Partial solution is given here respect to one open problem posed by P. Fletcher and W. F. Lindgren in their monography Quasi-uniform spaces.

A Note on Totally Bounded Quasi-Uniformities

Fletcher, P., Hunsaker, W. (1998)

Serdica Mathematical Journal

Similarity:

We present the original proof, based on the Doitchinov completion, that a totally bounded quiet quasi-uniformity is a uniformity. The proof was obtained about ten years ago, but never published. In the mean-time several stronger results have been obtained by more direct arguments [8, 9, 10]. In particular it follows from Künzi’s [8] proofs that each totally bounded locally quiet quasi-uniform space is uniform, and recently Déak [10] observed that even each totally bounded Cauchy...