Indestructibly productively Lindelöf and Menger function spaces (Q2217240)

For a Tychonoff space \(X\) and a family \(\lambda\) of subsets of \(X\), denote by \(C_{\lambda}(X)\) the \(T_{1}\)-space of all real-valued continuous functions on \(X\) with the \(\lambda\)-open topology. In this paper, the authors study indestructibly productively Lindelöf and Menger function spaces. The main result is that the following statements are equivalent for a \(T_{1}\)-space \(C_{\lambda}(X)\): (1) \(C_{\lambda}(X)\) is indestructibly productively Lindelöf; (2) \(C_{\lambda}(X)\) is metrizable Menger; (3) \(C_{\lambda}(X)\) is metrizable \(\sigma\)-compact; (4) \(X\) is pseudocompact, \(D(X)\) is a dense \(C^{\ast}\)-embedded set in \(X\) and the family \(\lambda\) consists of all finite subsets of \(D(X)\), where \(D(X)\) is the countable set of all isolated points of \(X\); (5) \(C_{\lambda}(X)\) is homeomorphic to \(C^{\ast}_{p}(\mathbb{N})\).