On non-separable 0-dimensional metrizable spaces
Arosio, A., Ferreira, A.V. (1978)
Portugaliae mathematica
Similarity:
Displaying similar documents to “A characterization of very -spaces”
On non-separable 0-dimensional metrizable spaces
On some results concerning -spaces
Arhangel'skii, Aleksander V.
Similarity:
A new metrization proof
Franklin, S. P.
Similarity:
Basic Properties of Metrizable Topological Spaces
Karol Pąk (2009)
Formalized Mathematics
Similarity:
We continue Mizar formalization of general topology according to the book [11] by Engelking. In the article, we present the final theorem of Section 4.1. Namely, the paper includes the formalization of theorems on the correspondence between the cardinalities of the basis and of some open subcover, and a discreet (closed) subspaces, and the weight of that metrizable topological space. We also define Lindelöf spaces and state the above theorem in this special case. We also introduce the...