A countable dense homogeneous set of reals of size ℵ₁
Ilijas Farah, Michael Hrušák, Carlos Azarel Martínez Ranero (2005)
Fundamenta Mathematicae
Similarity:
We prove there is a countable dense homogeneous subspace of ℝ of size ℵ₁. The proof involves an absoluteness argument using an extension of the logic obtained by adding predicates for Borel sets.