Related papers: Comparison of Exponential-Logarithmic and Logarith…
We survey some important properties of fields of generalized series and of exponential-logarithmic series, with particular emphasis on their possible differential structure, based on a joint work of the author with S. Kuhlmann [KM12b,KM11].
We consider the valued field $\mathds{K}:=\mathbb{R}((\Gamma))$ of formal series (with real coefficients and monomials in a totally ordered multiplicative group $\Gamma>$). We investigate how to endow $\mathds{K}$ with a logarithm $l$,…
In [26], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field $\mathbf{No}$ of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered…
Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We show that the expansion of $\mathbb{T}$ by its natural exponential function is model complete and locally o-minimal. We give an axiomatization of the…
Extending the work of Freese and Cook, which develop the basic theory of calculus and power series over real associative algebras, we examine what can be said about the logarithmic functions over an algebra. In particular, we find that for…
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…
Addition and subtraction of observed values can be computed under the obvious and implicit assumption that the scale unit of measurement should be the same for all arguments, which is valid even for any nonlinear systems. This paper starts…
In his monograph, H. Gonshor showed that Conway's real closed field of surreal numbers carries an exponential and logarithmic map. Subsequently, L. van den Dries and P. Ehrlich showed that it is a model of the elementary theory of the field…
We define the field $\mathbb{L}$ of logarithmic hyperseries, construct on $\mathbb{L}$ natural operations of differentiation, integration, and composition, establish the basic properties of these operations, and characterize these…
Since the very beginning of the theory of linear logic it is known how to represent the $\lambda$-calculus as linear logic proof nets. The two systems however have different granularities, in particular proof nets have an explicit notion of…
We study the structure of an algebraically closed field with extra function resembling the classical exponentiation on complex numbers.
We show that Zilber's conjecture that complex exponentiation is isomorphic to his pseudo-exponentiation follows from the a priori simpler conjecture that they are elementarily equivalent. An analysis of the first-order types in…
We investigate the existence of "generic derivations" in exponential fields. We show that exponential fields without additional compatibility conditions between derivation and exponentiation cannot support a generic derivation.
In an extended abstract Ressayre considered real closed exponential fields and integer parts that respect the exponential function. He outlined a proof that every real closed exponential field has an exponential integer part. In the present…
The logarithm function and the exponential function are, by nature, base dependent. Thus, in this paper I introduces an arbitrary base in the logarithm and exponential functions, both dependent on $q$, in order to have $\log_a(x;q)$ and…
In [1], J. Ax proved a transcendency theorem for certain differential fields of characteristic zero: the differential counterpart of the still open Schanuel's conjecture about the exponential function over the field of complex numbers [11,…
Two number fields with equal Dedekind zeta function are not necessarily isomorphic. However, if the number fields have equal sets of Dirichlet $L$-series then they \emph{are} isomorphic. We extend this result by showing that the…
A sharp explicit estimate is proved for the difference $e^\beta-\alpha$ when $\alpha$ and $\beta$ are nonzero algebraic numbers.
We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several…
We adapt the construction of the field of logarithmic-exponential transseries of van den Dries, Macintyre, and Marker to build an ordered differential field of sublogarithmic-transexponential series. We use this structure to build a…