You are here: MIMS > EPrints
MIMS EPrints

2008.87: Heirs of box types in polynomially bounded structures

2008.87: Marcus Tressl (2008) Heirs of box types in polynomially bounded structures.

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
332 Kb

Abstract

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

Item Type:MIMS Preprint
Additional Information:

MSC 2000: Primary 03C64; Secondary 13J30.

Uncontrolled Keywords:model theory, o-minimality, real closed fields, heirs, weakly o-minimal, model completeness
Subjects:MSC 2000 > 03 Mathematical logic and foundations
MSC 2000 > 13 Commutative rings and algebras
MIMS number:2008.87
Deposited By:Dr Marcus Tressl
Deposited On:10 October 2008

Download Statistics: last 4 weeks
Repository Staff Only: edit this item