Generalizing a theorem of B\`{e}s and Choffrut
Logic
2020-02-26 v1
Abstract
B\`{e}s and Choffrut recently showed that there are no intermediate structures between and . We prove a generalization: if is an o-minimal expansion of by bounded subsets of Euclidean space then there are no intermediate structures between and . It follows there are no intermediate structures between and .
Cite
@article{arxiv.2002.10508,
title = {Generalizing a theorem of B\`{e}s and Choffrut},
author = {Erik Walsberg},
journal= {arXiv preprint arXiv:2002.10508},
year = {2020}
}
Comments
8 pages. Comments are welcome