Construction of Quasi-Uniformities.
W. HUNSAKER, W. LINDGREN (1970)
Mathematische Annalen
Similarity:
Displaying similar documents to “Completion of Quasi-Uniform Spaces.”
Construction of Quasi-Uniformities.
On Generating Quasi Uniformities.
I.L. REILLY (1970)
Mathematische Annalen
Similarity:
Separation Relations and Quasi-Proximities.
D.A. MATTSON (1967)
Mathematische Annalen
Similarity:
Criteria for Quasi-Projectivity.
Andrew John Sommese (1975)
Mathematische Annalen
Similarity:
Addendum to "Criteria for Quasi-Projectivity".
Andrew John Sommese (1976)
Mathematische Annalen
Similarity:
Quasi-proximities for topological spaces.
W.J. PERVIN (1963)
Mathematische Annalen
Similarity:
The Relation between Quasi-Proximities and Topological Spaces.
E.F. STEINER (1964)
Mathematische Annalen
Similarity:
On a Uniform Structure of Gál.
C.J. MOZZOCHI (1969)
Mathematische Annalen
Similarity:
Quasi-Uniformization of Topological Spaces.
W.J. PERVIN (1962)
Mathematische Annalen
Similarity:
Quasi-interior Points and the Extension of Linear Functionals.
R.E. FULLERTON, C.C. BRAUNSCHWEIGER (1965/66)
Mathematische Annalen
Similarity:
On a Class of Quasi-barrelled Spaces.
Manuel Valdivia (1973)
Mathematische Annalen
Similarity:
Barrelledness Conditions on S (...;E) and B(...;E).
José Mendoza (1982)
Mathematische Annalen
Similarity:
Quasi-Reflexivity and Weakly UnconditionallyConvergeant Series
J.R. RETHERFORD (1967)
Mathematische Annalen
Similarity:
A weak quasi-Lindelöf property and quasi-fine supports of measures.
P.J. Fitzsimmons, R.K. Getoor (1995)
Mathematische Annalen
Similarity:
The Uniform Algebra Generated by z and a Smooth Even Function.
Michael Freeman (1972)
Mathematische Annalen
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.