A zero-dimensional not strongly zero-dimensional \(X\) with Lindelöf \(C_p(X)\) (Q1987689)

Recall that a Tychonoff topological space \(X\) is: \textit{zero-dimensional} if \(X\) has a base consisting of clopen sets; \textit{strongly zero-dimensional} if every finite functionally open cover of \(X\) has a disjoint open refinement, see [\textit{R. Engelking}, General topology. Rev. and compl. ed. Berlin: Heldermann Verlag (1989; Zbl 0684.54001)]. Clearly, each strongly zero-dimensional space is zero-dimensional. An example of a normal space \(X\) which is zero-dimensional but not strongly zero-dimensional was constructed by \textit{C. H. Dowker} [Q. J. Math., Oxf. II. Ser. 6, 101--120 (1955; Zbl 0066.41204)]. The authors of the paper under review modify Dowker's example and prove the following theorem: There is a normal space \(X\) which is zero-dimensional and not strongly zero-dimensional and such that the space \(C_p(X)\) is Lindelöf. This solves Problem 20 from [\textit{O. Okunev}, Cent. Eur. J. Math. 9, No. 5, 978--983 (2011; Zbl 1245.54018)].