### On non-separable 0-dimensional metrizable spaces

Arosio, A., Ferreira, A.V. (1978)

Portugaliae mathematica

Similarity:

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

Arosio, A., Ferreira, A.V. (1978)

Portugaliae mathematica

Similarity:

Arhangel'skii, Aleksander V.

Similarity:

Franklin, S. P.

Similarity:

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...

Bernard Brunet (1995)

Annales mathématiques Blaise Pascal

Similarity: