Testing math in abstract

Résumé

Let X be a metrizable space which has a hereditarily
normal ω1-compactification. We show that X is rim-separable and
that if X is also connected, then w(X) ≤ ω1 and X has a σ-pointfinite
base by sets with separable boundaries.