On spaces of Baire \(I\) functions over \(K\)-analytic spaces (Q1316904)

Let \(X\) be an \(K\)-analytic space and let \(B_ 1(X)\) be the space of all real Baire 1 functions over \(X\) equipped with the pointwise convergence topology. Suppose that \(F\subset B_ 1(X)\) is a relatively countable compact space. Then the closure of \(F\) is a strongly countable compact Fréchet-Urysohn space; and if \(F\) is \(\aleph_ 1\)-compact then \(F\) is a bicompactum. Moreover, if \(X\) is regular then the following conditions are equivalent: (1) The closure of every relatively countable compact set in \(B_ 1(X)\) is bicompact; (2) \(B_ 1(X)\) does not contain a closed subset homeomorphic to \(\omega_ 1\); (3) \(B_ 1(X)\) does not contain a subset homeomorphic to \(\omega_ 1\); (4) \(X\) is paracompact.