On strong form of Arzela convergence.
Ewert, Janina (1997)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Ewert, Janina (1997)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Ewert, J. (1993)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
Loiseau, Bruno (1992)
Portugaliae mathematica
Similarity:
I. Domnik (1990)
Matematički Vesnik
Similarity:
Papadopoulos, Basil K. (1994)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Pavel Kostyrko (1981)
Mathematica Slovaca
Similarity:
Jesús Rodríguez-López, Salvador Romaguera (2002)
Extracta Mathematicae
Similarity:
Enrico Vitali (1990)
Annales de la Faculté des sciences de Toulouse : Mathématiques
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.