On spaces of Baire I functions over $K$-analytic spaces

Suppose that $\mathscr{F}$ is a relatively countably compact subset of $B_1(X)$, the space of Baire I functions over a $K$-analytic space $X$ equipped with the pointwise convergence topology. It is proved that (1) the closure of $\mathscr{F}$ is a strongly countably compact Frechйt–Urysohn space; (2) if $\mathscr{F}$ is $\aleph_1$-compact, $\mathscr{F}$ is a bicompactum; (3) if $X$ is a paracompact space, the closure of $\mathscr{F}$ is a bicompactum.