Heirs of box types in polynomially bounded structures

Abstract

A box type is an n-type 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 M^k, definable in the expansion ℳ of M by all convex subsets of the line. We show that ℳ after naming constants, is model complete provided M is model complete.