Tressl, Marcus (2005) The elementary theory of Dedekind cuts in polynomially bounded structures. ANNALS OF PURE AND APPLIED LOGIC, 135 (1-3). pp. 113-134. ISSN 0168-0072,
Full text not available from this repository. (Request a copy)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. (c) 2004 Elsevier B.V. All rights reserved.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | O-MINIMAL STRUCTURES; MODEL COMPLETENESS; TAME EXTENSIONS; T-CONVEXITY; EXPANSIONS; Dedekind cut; quantifier elimination; polynomially bounded; O-minimality; model theory |
| Subjects: | 500 Science > 510 Mathematics |
| Divisions: | Mathematics |
| Depositing User: | Dr. Gernot Deinzer |
| Date Deposited: | 27 Apr 2021 04:32 |
| Last Modified: | 27 Apr 2021 04:32 |
| URI: | https://pred.uni-regensburg.de/id/eprint/35639 |
Actions (login required)
 |
View Item |
