English

Differential exponential topological fields

Logic 2023-01-18 v2

Abstract

We axiomatize a class of existentially closed exponential fields equipped with an EE-derivation. We apply our results to the field of real numbers endowed with exp(x)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)exp(px) defined on the pp-adic integers where pp is a prime number strictly bigger than 22 (or with exp(4x)exp(4x) when p=2p=2).

Keywords

Cite

@article{arxiv.2007.14344,
  title  = {Differential exponential topological fields},
  author = {Francoise Point and Nathalie Regnault},
  journal= {arXiv preprint arXiv:2007.14344},
  year   = {2023}
}