On semi-uniformities
A. Steiner, E. Steiner (1973)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: