Related papers: Differential exponential topological fields

We consider the class numbers of imaginary quadratic extensions $F(\sqrt{-p})$, for certain primes $p$, of totally real quadratic fields $F$ which have class number one. Using seminal work of Shintani, we obtain two elementary class number…

We study a class of tame $\mathcal{L}$-theories $T$ of topological fields and their $\mathcal{L}_\delta$-extension $T_{\delta}^*$ by a generic derivation $\delta$. The topological fields under consideration include henselian valued fields…

We obtain new bounds of exponential sums modulo a prime $p$ with sparse polynomials $a_0x^{n_0} + \cdots + a_{\nu}x^{n_\nu}$. The bounds depend on various greatest common divisors of exponents $n_0, \ldots, n_\nu$ and their differences. In…

In this paper, we introduce differential exponential maps in Cartesian differential categories, which generalizes the exponential function $e^x$ from classical differential calculus. A differential exponential map is an endomorphism which…

We explain how the field of logarithmic-exponential series constructed in \cite{DMM1} and \cite {DMM2} embeds as an exponential field in any field of exponential-logarithmic series constructed in \cite{KK1}, \cite {K} and \cite {KS}. On the…

We define an extension of operator-valued positive definite functions from the real or complex setting to topological algebras, and describe their associated reproducing kernel spaces. The case of entire functions is of special interest,…

Assuming Schanuel's conjecture, we prove that the complete theory $T_{\exp}$ of the real exponential field is axiomatized by the axioms of definably complete exponential fields satisfying $\exp' = \exp$. This implies the result of Macintyre…

This article initiates the study of topological transcendental fields $\FF$ which are subfields of the topological field $\CC$ of all complex numbers such that $\FF$ consists of only rational numbers and a nonempty set of transcendental…

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 establish exponential laws for certain spaces of differentiable functions over a valued field K. For example, we show that the topological vector spaces C^{r,s}(U x V,E) and C^r(U,C^s(V,E)) are isomorphic if U and V are open subsets of…

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.

Let $p\in\mathbb Z$ be a prime, $\overline{\mathbb Q_p}$ a fixed algebraic closure of the field of $p$-adic numbers and $\overline{\mathbb Z_p}$ the absolute integral closure of the ring of $p$-adic integers. Given a residually algebraic…

Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…

In this paper, we prove that a pseudoexponential field has continuum many non-isomorphic countable real closed exponential subfields, each with an order preserving exponential map which is surjective onto the nonnegative elements. Indeed,…

We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real…

We describe a construction of explicit affine extractors over large finite fields with exponentially small error and linear output length. Our construction relies on a deep theorem of Deligne giving tight estimates for exponential sums over…

We obtain sufficient conditions for an exponential type entire function not to have zeros in the open lower half-plane. An exact inequality containing the real and imaginary parts of such functions and their derivatives restricted to the…

Let k be an algebraically closed field of odd characteristic. We describe derivations of a large class of quantizations of affine normal Poisson varieties over k.

Suppose $\mathbb{F}$ is a field of prime characteristic $p$ and $E$ is a finite subgroup of the additive group $(\mathbb{F},+)$. Then $E$ is an elementary abelian $p$-group. We consider two such subgroups, say $E$ and $E'$, to be equivalent…

We use double categories to obtain a single theorem characterizing certain exponentiable morphisms of small categories, topological spaces, locales, and posets.