Nearly Countable Dense Homogeneous Spaces

http://dx.doi.org/10.4153/CJM-2013-006-8
17 pages

  Published:2013-03-08
 

We study separable metric spaces with few types of countable dense sets. We present a structure theorem for locally compact spaces having precisely $n$ types of countable dense sets: such a space contains a subset $S$ of size at most $n{-}1$ such that $S$ is invariant under all homeomorphisms of $X$ and $X\setminus S$ is countable dense homogeneous. We prove that every Borel space having fewer than $\mathfrak{c}$ types of countable dense sets is Polish. The natural question of whether every Polish space has either countably many or $\mathfrak{c}$ many types of countable dense sets, is shown to be closely related to Topological Vaught's Conjecture.