Let $(X, \tau)$ be a regular, scattered and Lindelöf space with countable pseudocharacter. Is it true that $X$ needs to be countable?
What I have tried (using the Theorem 2.2 from M. E. Gewand, “The Lindelöf degree of scattered spaces and their products,” Journal of the Australian Mathematical Society (Series A) 37 (1984), 98–105): Let $(X, \tau)$ be a regular scattered Lindelöf space with countable pseudocharacter.
(Before going on, $X_{\delta}$ denotes the topological space of $X$ with the topology generated by its $G_{\delta}$ sets under the topology $\tau$).
As a consequence of the Theorem 2.2 ($X$ is $T_3$, scattered and Lindelöf), $X_{\delta}$ is Lindelöf. Now, as each point of $X$ is a $G_{\delta}$ set, then $X_{\delta}$ is discrete and $\mathcal{A} = \{ \{x\} : x \in X \}$ is an open cover of $X_{\delta}$. Finally, as $X_{\delta}$ is Lindelöf, $X$ needs to be countable.
I wasn't aware of this result, so I tried to look for its proof and I found that it appears stated as the Corollary 2.5 (with a typo) in the citation I make in this question, but its proof would say that it's a consequence of the Theorem 2.2 from that same citation. In this question, I show my attempt to prove the corollary using the theorem, but I wanted to ask for clarifications or reviews and more direct proofs.
– Almanzoris Aug 05 '24 at 20:58