Approximation by O-minimal sets in power-bounded T-convex valued fields

Abstract: We show that, for a certain large class of power-bounded

o

-minimal

m a t h c a l L_{T}

-theories

T

whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a

T

-convex valued field

(m a t h c a l R, m a t h f r a k O)

is in a precise sense the limit of a family of

m a t h c a l L_{T}

-definable sets indexed over the residue field. Alternatively, in the mainstream model-theoretic language, this says that if

(m a t h c a l R^{'}, m a t h f r a k O^{'})

is an elementary substructure of

(m a t h c a l R, m a t h f r a k O)

and if the residue field of

m a t h f r a k O

contains an element that is infinitesimal relative to the residue field of

m a t h f r a k O^{'}

then any set

A s u b s e t e q (m a t h c a l R^{'})^{m}

definable in

(m a t h c a l R^{'}, m a t h f r a k O^{'})

is the trace of a set definable in

m a t h c a l R

.

This page was built for publication: Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields