Forcing countable networks for spaces satisfying R(X^omega)=omega.
classification
🧮 math.LO
keywords
countablefiniteomegapowerssubspacesconsidercontaindifferent
read the original abstract
We show that all finite powers of a Hausdorff space X do not contain uncountable weakly separated subspaces iff there is a c.c.c poset P such that 1_P forces that ``X is a countable union of 0-dimensional subspaces of countable weight.'' We also show that this theorem is sharp in two different senses: (i) we can't get rid of using generic extensions, (ii) we have to consider all finite powers of $X$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.