The elementary theory of Dedekind cuts in polynomially bounded structures
| dc.creator | Tressl, Marcus | |
| dc.date | 2003-05-08 | |
| dc.date | 2003-05-09 | |
| dc.date.accessioned | 2026-07-07T04:57:51Z | |
| dc.date.available | 2026-07-07T04:57:51Z | |
| dc.description | 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. | |
| dc.description | 16 pages. The paper is a sequel to http://www-nw.uni-regensburg.de/~.trm22116.mathematik.uni-regensburg.de/paper s/cutsa.ps | |
| dc.identifier | https://arxiv.org/abs/math/0305122 | |
| dc.identifier | http://arxiv.org/abs/math/0305122 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/67408 | |
| dc.subject | Logic | |
| dc.subject | 03C (primary) | |
| dc.title | The elementary theory of Dedekind cuts in polynomially bounded structures | |
| dc.type | text |