### A countable dense homogeneous set of reals of size ℵ₁

We prove there is a countable dense homogeneous subspace of ℝ of size ℵ₁. The proof involves an absoluteness argument using an extension of the ${L}_{\omega \u2081\omega}\left(Q\right)$ logic obtained by adding predicates for Borel sets.