On semi-uniformities
A. Steiner, E. Steiner (1973)
Fundamenta Mathematicae
Similarity:
A. Steiner, E. Steiner (1973)
Fundamenta Mathematicae
Similarity:
Pu, H.W., Pu, H.H. (1974)
Portugaliae mathematica
Similarity:
David Wooten (1973)
Fundamenta Mathematicae
Similarity:
Ferrer, J., Gregori, V., Reilly, I.L. (1995)
Matematichki Vesnik
Similarity:
Janina Ewert (1987)
Mathematica Slovaca
Similarity:
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.
Janina Ewert, Tadeusz Lipski (1983)
Mathematica Slovaca
Similarity:
Nayar, Bhamini M.P. (1997)
Matematichki Vesnik
Similarity:
Pyrih, Pavel (2000)
Southwest Journal of Pure and Applied Mathematics [electronic only]
Similarity: