Abstract
A box type is an n-rype of an o-minimal structure which is uniquely determined by the projections to the coordinate axes. We characterize heirs of box types of a polynomially bounded o-minimal structure M. From this, we deduce various structure theorems for subsets of Mk, definable in the expansion M of M by all convex subsets of the line. We show that M after naming constants, is model complete provided M is model complete.
| Original language | English |
|---|---|
| Pages (from-to) | 1225-1263 |
| Number of pages | 39 |
| Journal | The Journal of Symbolic Logic |
| Volume | 74 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - 1 Dec 2009 |
Keywords
- Dedekind cuts
- Heirs
- Model completeness
- Model theory
- O-minimality
- Real closed fields
- Valuation theory
- Weakly o-minimal
Fingerprint
Dive into the research topics of 'Heirs of box types in polynomially bounded structures'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver