Uniform normality of topological groups and -groups
Bohumil Šmarda (1982)
Archivum Mathematicum
Similarity:
Bohumil Šmarda (1982)
Archivum Mathematicum
Similarity:
Roland Coghetto (2015)
Formalized Mathematics
Similarity:
Using Mizar [9], and the formal topological space structure (FMT_Space_Str) [19], we introduce the three U-FMT conditions (U-FMT filter, U-FMT with point and U-FMT local) similar to those VI, VII, VIII and VIV of the proposition 2 in [10]: If to each element x of a set X there corresponds a set B(x) of subsets of X such that the properties VI, VII, VIII and VIV are satisfied, then there is a unique topological structure on X such that, for each x ∈ X, B(x) is the set of neighborhoods...
John Boris Miller (1975)
Compositio Mathematica
Similarity:
Igor V. Protasov (2002)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Answering recent question of A.V. Arhangel'skii we construct in ZFC an extremally disconnected semitopological group with continuous inverse having no open Abelian subgroups.
Yang, J.S. (1980)
International Journal of Mathematics and Mathematical Sciences
Similarity: