@misc{indiciaedbc5e740ccfa, title = {The elementary theory of Dedekind cuts in polynomially bounded structures}, author = {Marcus Tressl}, year = {2003}, url = {https://arxiv.org/abs/math/0305122}, note = {Source identifier: math/0305122} }