Differential exponential topological fields
Logic
2023-01-18 v2
Abstract
We axiomatize a class of existentially closed exponential fields equipped with an -derivation. We apply our results to the field of real numbers endowed with the classical exponential function defined by its power series expansion and to the field of p-adic numbers endowed with the function defined on the -adic integers where is a prime number strictly bigger than (or with when ).
Cite
@article{arxiv.2007.14344,
title = {Differential exponential topological fields},
author = {Francoise Point and Nathalie Regnault},
journal= {arXiv preprint arXiv:2007.14344},
year = {2023}
}