Heirs of box types in polynomially bounded structures

Tressl, Marcus (2008) Heirs of box types in polynomially bounded structures. [MIMS Preprint]

PDF Tressl_HeirsOfBoxTypes.pdf Download (339kB)

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 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations MSC 2010, the AMS's Mathematics Subject Classification > 13 Commutative rings and algebras
Depositing User:	Dr Marcus Tressl
Date Deposited:	10 Oct 2008
Last Modified:	08 Nov 2017 18:18
URI:	https://eprints.maths.manchester.ac.uk/id/eprint/1154

Actions (login required)

View Item