English

Countable dense homogeneity in powers of zero-dimensional definable spaces

General Topology 2015-04-28 v2 Logic

Abstract

We show that, for a coanalytic subspace XX of 2ω2^\omega, the countable dense homogeneity of XωX^\omega is equivalent to XX being Polish. This strengthens a result of Hru\v{s}\'ak and Zamora Avil\'es. Then, inspired by results of Hern\'andez-Guti\'errez, Hru\v{s}\'ak and van Mill, using a technique of Medvedev, we construct a non-Polish subspace XX of 2ω2^\omega such that XωX^\omega is countable dense homogeneous. This gives the first ZFC\mathsf{ZFC} answer to a question of Hru\v{s}\'ak and Zamora Avil\'es. Furthermore, since our example is consistently analytic, the equivalence result mentioned above is sharp. Our results also answer a question of Medini and Milovich. Finally, we show that if every countable subset of a zero-dimensional separable metrizable space XX is included in a Polish subspace of XX then XωX^\omega is countable dense homogeneous.

Keywords

Cite

@article{arxiv.1408.2137,
  title  = {Countable dense homogeneity in powers of zero-dimensional definable spaces},
  author = {Andrea Medini},
  journal= {arXiv preprint arXiv:1408.2137},
  year   = {2015}
}

Comments

14 pages

R2 v1 2026-06-22T05:24:03.805Z