Definable groups in topological differential fields

MaRDI QIDQ6289395zbMATH OpenFDO

Authors Françoise Point

Publication date 25 July 2017

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Differential algebra (12H05) Topological fields (12Jxx) Structure of general topological groups (22A05)

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

This page was built for publication: Definable groups in topological differential fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6289395)