Generalized topological spaces
Igor Zuzčák (1983)
Mathematica Slovaca
Similarity:
Displaying similar documents to “Bases in -spaces”
Generalized topological spaces
-spaces and some of their properties
Igor Zuzčák (1984)
Mathematica Slovaca
Similarity:
Arrow's Impossibility Theorem
Freek Wiedijk (2007)
Formalized Mathematics
Similarity:
A formalization of the first proof from [6].
On the absoluteness of openly-generated and Dugundji spaces
Ingo Bandlow (1992)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity: