Definable groups in topological differential fields
classification
🧮 math.LO
keywords
mathcaldefinabledifferentialfieldsclosedgrouptheoriestopological
read the original abstract
For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between $\mathcal L\cup\{D\}$-definable sets and their $\mathcal L$-reducts, where $\mathcal L$ is a relational expansion of the field language and $D$ a symbol for a derivation. This enables us to associate with an $\mathcal L\cup\{D\}$-definable group in models of such theories, a local $\mathcal L$-definable group. As a byproduct, we show that in closed ordered differential fields, one has the descending chain condition on centralisers.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.