On a cardinal invariant resembling the Souslin number
It is a classical result of Shapirovsky that any compact space of countable tightness has a point-countable π-base. We look at general spaces with point-countable π-bases and prove, in particular, that, under the Continuum Hypothesis, any Lindelöf first countable space has a point-countable π-base. We also analyze when the function space has a point-countable π -base, giving a criterion for this in terms of the topology of X when l*(X) = ω. Dealing with point-countable π-bases makes it possible...
We prove that any topological group of a non-measurable cardinality is hereditarily paracompact and strongly σ-discrete as soon as it is submaximal. Consequently, such a group is zero-dimensional. Examples of uncountable maximal separable spaces are constructed in ZFC.
Page 1