Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 16

Preprint Number 16

Previous Next Preprint server

16 - Marcus Tressl
Heirs of box types in polynomially bounded structures

Submission date:11 August 2006


We characterize heirs of so called box types of a polynomially bounded o-minimal structure M. A box type is an n-type of M which is uniquely determined by the projections to the coordinate axes. 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. Moreover we obtain a model completeness result for M*.

Mathematics Subject Classification: 03C64; Secondary 13J30

Keywords and phrases: model theory, o-minimality, real closed fields, heirs, weakly o-minimal, model completeness.

Full text: pdf, dvi, ps.

Last updated: November 16 2006 18:26 Please send your corrections to: