On the spaces of continuous functions defined on separable \(\sigma\)-compacts (Q1908425)

\textit{E. A. Reznichenko} formulated the following theorem [see \textit{A. V. Arkhangel'skij}, Topological function spaces (1989; Zbl 0781.54014)]: Suppose that \(\text{MA}+\neg \text{CH}\). Then every separable compactum \(X\) such that \(C_p(X)\) is a Lindelöf space is metrizable. In the class of compacta, metrizability is equivalent to countability of the network weight [\textit{R. Engelking}, General topology (1977; Zbl 0373.54002)]. Hence the hypothesis that every separable \(\sigma\)-compact space \(X\) such that \(C_p(X)\) is a Lindelöf space has a countable network weight under the assumption of \(\text{MA}+\neg\text{CH}\) seems obvious. In this paper is shown that this hypothesis is untenable. Furthermore, the theorem of E. A. Reznichenko tentatively answers the question raised by A. V. Arkhangel'skij, namely if \(X\) is a separable compactum and \(C_p(X)\) a Lindelöf space, is then \(X\) hereditarily separable? This question is still unresolved in the general case. However, we demonstrate that under MA a separable \(\sigma\)-compact space \(X\) exists such that \(C_p(X)\) is a Lindelöf space, but \(X\) contains an uncountable discrete subspace.