Function spaces on separable compact lines

Abstract

In this paper, we provide a complete isomorphism classification of the spaces $C_p(K)$ of real-valued continuous functions endowed with the topology of pointwise convergence for separable compact lines $K$ of weight $ω_1$, under the assumption of Baumgartner's Axiom $\mathsf{BA}$. More specifically, we show that, up to linear homeomorphism, there are exactly two function spaces $C_p(K)$ for such $K$. We also construct an example of a separable compact line $K$ of weight $2^ω$ neither of whose spaces of continuous functions, $C_p(K)$ and $C_w(K)$, is homeomorphic to its square.