Submission date: 25 July 2017

Abstract:

For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between L ∪ {D}-definable sets and their L-reducts, where L is a relational expansion of the field language and D a symbol for a derivation. This enables us to associate with an L ∪ {D}-definable group in models of such theories, a local L-definable group. As a byproduct, we show that in closed ordered differential fields, one has the descending chain condition on centralisers.

Mathematics Subject Classification: 03C10, 03C60, 12J, 12H05, 22A05

Keywords and phrases:

Full text arXiv 1707.07881: pdf, ps.