Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1707

Preprint Number 1707

Previous Next Preprint server

1707. Pablo Cubides Kovacsics and Françoise Point
Topological fields with a generic derivation

Submission date: 17 December 2019


We study a class of tame theories T of topological fields and their extension T_δ^* by a generic derivation. The topological fields under consideration include henselian valued fields of characteristic 0 and real closed fields. For most examples, we show that the associated expansion by a generic derivation has the open core property (i.e., there are no new open definable sets). In addition, we show various transfer results between tame properties of T and T_δ^*, including relative elimination of field sort quantifiers, NIP, distality and elimination of imaginaries, among others. 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.

Mathematics Subject Classification: Primary 12L12, 12J25, 12H05, Secondary 13N15, 03C60 \\

Keywords and phrases:

Full text arXiv 1912.07912: pdf, ps.

Last updated: March 23 2021 09:21 Please send your corrections to: