The elementary theory of Dedekind cuts in polynomially bounded structures
Logic
2007-05-23 v2
Abstract
Let M be a polynomially bounded, o-minimal structure with archimedean prime model, for example if M is a real closed field. Let C be a convex and unbounded subset of M. We determine the first order theory of the structure M expanded by the set C. We do this also over any given set of parameters from M, which yields a description of all subsets of M^n, definable in the expanded structure.
Keywords
Cite
@article{arxiv.math/0305122,
title = {The elementary theory of Dedekind cuts in polynomially bounded structures},
author = {Marcus Tressl},
journal= {arXiv preprint arXiv:math/0305122},
year = {2007}
}
Comments
16 pages. The paper is a sequel to http://www-nw.uni-regensburg.de/~.trm22116.mathematik.uni-regensburg.de/paper s/cutsa.ps