We present an extension of the classical isomorphic classification of the Banach spaces C([0,α]) of all real continuous functions defined on the nondenumerable intervals of ordinals [0,α]. As an application, we establish the isomorphic classification of the Banach spaces $C\left(2^{}\times [0,\alpha ]\right)$ of all real continuous functions defined on the compact spaces $2^{}\times [0,\alpha ]$, the topological product of the Cantor cubes $2^{}$ with smaller than the first sequential cardinal, and intervals of ordinal numbers [0,α]. Consequently, it is relatively...

We prove the following theorem: Given a⊆ω and $1\le \alpha <{\omega }_1^{CK}$, if for some $\eta <{\aleph }_1$ and all u ∈ WO of length η, a is ${\Sigma }_{\alpha }^0\left(u\right)$, then a is ${\Sigma }_{\alpha }^0$. We use this result to give a new, forcing-free, proof of Leo Harrington’s theorem: ${\Sigma }_1^1$-Turing-determinacy implies the existence of $0$.

Under some very strong set-theoretic hypotheses, hereditarily normal spaces (also referred to as T₅ spaces) that are locally compact and hereditarily collectionwise Hausdorff can have a highly simplified structure. This paper gives a structure theorem (Theorem 1) that applies to all such ω₁-compact spaces and another (Theorem 4) to all such spaces of Lindelöf number ≤ ℵ₁. It also introduces an axiom (Axiom F) on crowding of functions, with consequences (Theorem 3) for the crowding of countably compact...