No CrossRef data available.
Article contents
Heirs of box types in polynomially bounded structures
Published online by Cambridge University Press: 12 March 2014
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 Mk, 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.
Keywords
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2009