For every space \(X\), either \(C_{p}C_{p}(X)\) or \(C_{p}C_{p}C_{p}(X)\) is \(\psi\)-separable (Q2216589)

For every space \(X\), either \(C_{p}C_{p}(X)\) or \(C_{p}C_{p}C_{p}(X)\) is \(\psi\)-separable, cf. [\textit{V. V. Tkachuk}, Topology Appl. 284, Article ID 107362, 9 p. (2020; Zbl 07286521)]. A space with a dense subspace of countable pseudocharacter is called \(\psi\)-separable. In this paper the following results are proved: \textbf{3.1 Theorem}. Suppose that \(X\) is a space and consider the following conditions for the cardinal \(\kappa=\min\{i\omega(X), d(X)\}:\) \((\Omega_{0})\) for any \(U\in\tau(X)\), if \(d(X\backslash U)<\kappa\) then \(i\omega(U)=i\omega(X)\); \((\Omega_{1})\) \(i\omega(X)<d(X)\) and hence \(\kappa=i\omega(X)\); \((\Omega_{2})\) there exists a discrete subset \(D\subset X\times X\) such that \(|D|\geq\kappa\). Then, (a) \((\Omega_{0})\) implies \((\Omega_{2})\) in ZFC. (b) \((\Omega_{1})\) implies \((\Omega_{2})\) under GCH. \textbf{3.3 Theorem}. If \(X\) is a space such that \(d(X)\leq i\omega(X)\), then \(C_{p,2n}(X)\) has a dense \(F_{\sigma}\)-discrete subspace for all \(n\in\mathbb{N}\). \textbf{3.4 Theorem}. If \(X\) is a space such that \(i\omega(X)\leq d(X)\), then \(C_{p,2n+1}(X)\) has a dense \(F_{\sigma}\)-discrete subspace for all \(n\in\mathbb{N}\). \textbf{3.14 Theorem}. If the Generalized Continuum Hypothesis (GCH) holds, then for any space \(X\), either \(C_{p,2n}(X)\) has a dense \(F_{\sigma}\)-discrete subspace for every \(n\in\mathbb{N}\) or \(C_{p,2n-1}(X)\) has a dense \(F_{\sigma}\)-discrete subspace for each \(n\in\mathbb{N}\). \textbf{4.2 Theorem}. If \(X\) is an infinite metrizable space, then \(C_{p}(X)\) has a uniformly dense subspace of countable pseudocharacter if and only if \(2^{\omega(X)}=\omega(X)^{\omega}\). \textbf{4.4 Theorem}. If \(X\) is an infinite Corson compact space, then for any \(n\in\mathbb{N}\), there exists a simple closed subspace \(T\subset C_{p,n}(X)\) such that \(\lvert T\rvert = \omega(X)\). \textbf{4.6 Theorem}. Given an infinite Corson compact space \(X\), there exists a set \(Q\subset C_{p}(X)\) with the following properties: (a) \(Q\) is uniformly dense in \( C_{p} (X) \); (b) \(\lvert Q \rvert = \omega(X)\); (c) the set \(Q(x) =\{f(x):\,\,f\in Q\}\) is countable for any \(x\in X\). \textbf{4.7 Theorem}. If \(K\) is an infinite Corson compact space, then there exists a set \(D\subset K\) such that \( \lvert D\rvert= \omega(K)\) and \(D\) has a point-countable open expansion. \textbf{4.9 Theorem}. If \(K\) is a Corson compact space, then \(C_{p,n}(K)\) has a uniformly dense subspace \(Y\) of countable pseudocharacter for any \(n\in\mathbb{N}\).