Topological fields with a generic derivation

DOI10.1016/J.APAL.2022.103211MaRDI QIDQ6331257arXivFDO

Authors Pablo Cubides Kovacsics, Françoise Point

Publication date 17 December 2019

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.APAL.2022.103211

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Non-Archimedean valued fields (12J25) Model theory of fields (12L12) Derivations and commutative rings (13N15)

arXiv classification

math.ACmath.LO

Abstract: We study a class of tame $mathcalL$-theories $T$ of topological fields and their $mathcal{L}_{d}elta$-extension $T_{delta}^{\ast }$ by a generic derivation $delta$. The topological fields under consideration include henselian valued fields of characteristic 0 and real closed fields. We show that the associated expansion by a generic derivation has $mathcalL$-open core (i.e., every $mathcal{L}_{d}elta$-definable open set is $mathcalL$-definable) and derive both a cell decomposition theorem and a transfer result of elimination of imaginaries. Other tame properties of $T$ such as relative elimination of field sort quantifiers, NIP and distality also transfer to $T_{d}elt{a}^{\ast }$. As an application, we derive consequences for the corresponding theories of dense pairs. In particular, we show that the theory of pairs of real closed fields (resp. of $p$-adically closed fields and real closed valued fields) admits a distal expansion. This gives a partial answer to a question of P. Simon.

This page was built for publication: Topological fields with a generic derivation

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