Products and countable dense homogeneity

Andrea Medini

Published 2013-06-30, updated 2014-06-10Version 3

Building on work of Baldwin and Beaudoin, assuming Martin's Axiom, we construct a zero-dimensional separable metrizable space $X$ such that $X$ is countable dense homogeneous while $X^2$ is not. It follows from results of Hru\v{s}\'ak and Zamora Avil\'es that such a space $X$ cannot be Borel. Furthermore, $X$ can be made homogeneous and completely Baire as well.