English

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 L{D}\mathcal L\cup\{D\}-definable sets and their L\mathcal L-reducts, where L\mathcal L is a relational expansion of the field language and DD a symbol for a derivation. This enables us to associate with an L{D}\mathcal L\cup\{D\}-definable group in models of such theories, a local L\mathcal L-definable group. As a byproduct, we show that in closed ordered differential fields, one has the descending chain condition on centralisers.

Keywords

Cite

@article{arxiv.1707.07881,
  title  = {Definable groups in topological differential fields},
  author = {Françoise Point},
  journal= {arXiv preprint arXiv:1707.07881},
  year   = {2017}
}
R2 v1 2026-06-22T20:56:32.936Z