Differential exponential topological fields

MaRDI QIDQ6346029zbMATH OpenFDO

Authors Françoise Point, N. Regnault

Publication date 28 July 2020

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Differential algebra (12H05) Model theory of fields (12L12)

Abstract: We axiomatize a class of existentially closed exponential fields equipped with an $E$-derivation. We apply our results to the field of real numbers endowed with $exp(x)$ the classical exponential function defined by its power series expansion and to the field of p-adic numbers endowed with the function $exp(px)$ defined on the $p$-adic integers where $p$ is a prime number strictly bigger than $2$ (or with $exp(4x)$ when $p=2$).

This page was built for publication: Differential exponential topological fields

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