Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 931

Preprint Number 931

Previous Next Preprint server

931. Yimu Yin
On polynomial-bounded T-convex fields

Submission date: 25 September 2015.


We propose to grok the first-order theories TCVF of polynomial-bounded T-convex fields in a two-sorted language and prove some basic results concerning definable sets, mainly in the field sort. In particular, we show: under some mild assumptions on the o-minimal theory T, TCVF admits quantifier elimination; certain class of partial differential operators almost commute with the reduction map (to the residue field); all definable functions are piecewise infinitesimally Lipschitz continuous; etc.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1509.07695: pdf, ps.

Last updated: September 30 2015 13:27 Please send your corrections to: