Isomorphic classification of projective tensor products of spaces of continuous functions
We prove that for infinite, countable, compact, Hausdorff spaces $K,L$, $C(K)\widehat{\otimes}_πC(L)$ is isomorphic to exactly one of the spaces $C(ω^{ω^ξ})\widehat{\otimes}_πC(ω^{ω^ζ})$, $0\leqslant ζ\leqslant ξ<ω_1$. We also prove that $C(K)\widehat{\otimes}_πC(L)$ is not isomorphic to $C(M)$ for any compact, Hausdorff space $M$.