Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10118855 | Annals of Pure and Applied Logic | 2005 | 22 Pages |
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 Mn, definable in the expanded structure.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Marcus Tressl,