Hamel Spaces and Distal Expansions

Allen Gehret, Travis Nell

In this note, we construct a distal expansion for the structure $(\mathbb{R};+,<,H)$, where $H\subseteq \mathbb{R}$ is a dense $\mathbb{Q}$-vector space basis of $\mathbb{R}$ (a s…