Prefer a chat interface with context about you and your work?
Nonnormal spaces $C_p(X)$ with countable extent
Examples of spaces $X$ are constructed for which $C_{p}(X)$ is not normal but all closed discrete subsets are countable. A monolithic example is constructed in ZFC and a separable first countable example is constructed using $\diamondsuit$.