Hamel Spaces and Distal Expansions
Logic
2020-04-22 v1
Abstract
In this note, we construct a distal expansion for the structure , where is a dense -vector space basis of (a so-called Hamel basis). Our construction is also an expansion of the dense pair and has full quantifier elimination in a natural language.
Cite
@article{arxiv.1811.12603,
title = {Hamel Spaces and Distal Expansions},
author = {Allen Gehret and Travis Nell},
journal= {arXiv preprint arXiv:1811.12603},
year = {2020}
}