Heirs of box types in polynomially bounded structures

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*.

[1]  Roman Wencel.  Topological properties of sets definable in weakly o-minimal structures , 2010, J. Symb. Log..

[2]  Roman Wencel.  On expansions of weakly o-minimal non-valuational structures by convex predicates , 2009 .

[3]  Bruno Poizat,et al.  An Introduction to Forking , 1979, J. Symb. Log..

[4]  Bruno Poizat,et al.  Paires de Structures O-Minimales , 1998, J. Symb. Log..

[5]  Dugald Macpherson,et al.  Weakly o-minimal structures and real closed fields , 2000 .

[6]  Marcus Tressl,et al.  Pseudo completions and completions in stages of o-minimal structures , 2006, Arch. Math. Log..

[7]  Alfred Dolich.  Forking and independence in o-minimal theories , 2004, Journal of Symbolic Logic.

[8]  Charles Steinhorn,et al.  Definable Types in O-Minimal Theories , 1994, J. Symb. Log..

[9]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[10]  Daniel Lascar,et al.  Stability in model theory , 1990 .

[11]  Lou van den Dries,et al.  T-Convexity and Tame Extensions , 1995, J. Symb. Log..

[12]  Marcus Tressl.  The elementary theory of Dedekind cuts in polynomially bounded structures , 2005, Ann. Pure Appl. Log..

[13]  David Marker,et al.  Omitting Types in O-Minimal Theories , 1986, J. Symb. Log..

[14]  Saharon Shelah.  Dependent first order theories, continued , 2004 .

[15]  A. Pillay,et al.  DEFINABLE SETS IN ORDERED STRUCTURES. I , 1986 .

[16]  W. Hodges.  CLASSIFICATION THEORY AND THE NUMBER OF NON‐ISOMORPHIC MODELS , 1980 .

[17]  A. Pillay,et al.  Definable sets in ordered structures , 1984 .

[18]  Marcus Tressl.  Model completeness of o-minimal structures expanded by Dedekind cuts , 2005, J. Symb. Log..

[19]  Manfred Knebusch.  Weakly semialgebraic spaces , 1989 .

[20]  Lou van den Dries,et al.  The Field of Reals with Multisummable Series and the Exponential Function , 2000 .

[21]  Saharon Shelah,et al.  Classification theory - and the number of non-isomorphic models, Second Edition , 1990, Studies in logic and the foundations of mathematics.

[22]  Marcus Tressl.  Valuation theoretic content of the Marker-Steinhorn theorem , 2004, J. Symb. Log..