Countably metacompact spaces in the constructible universe
We present a construction from ♢* of a first countable, regular, countably metacompact space with a closed discrete subspace that is not a . In addition some nonperfect spaces with σ-disjoint bases are constructed.