Definable groups in topological differential fields
Logic
2017-07-26 v1
Abstract
For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between -definable sets and their -reducts, where is a relational expansion of the field language and a symbol for a derivation. This enables us to associate with an -definable group in models of such theories, a local -definable group. As a byproduct, we show that in closed ordered differential fields, one has the descending chain condition on centralisers.
Cite
@article{arxiv.1707.07881,
title = {Definable groups in topological differential fields},
author = {Françoise Point},
journal= {arXiv preprint arXiv:1707.07881},
year = {2017}
}