Heirs of box types in polynomially bounded structures

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

[thumbnail of Tressl_HeirsOfBoxTypes.pdf] 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 View Item