相关论文: Model completeness for the differential field of t…

A class theorem is presented and proved: the complex Fourier transforms of a certain class of exponential functions have all their zeros on the real line. A class of basis functions is first considered, and the class is then extended via…

We consider expansions of o-minimal structures on the real field by collections of restrictions to the positive real line of the canonical Weierstrass products associated to sequences such as $(-n^s)_{n>0}$ (for $s>0$) and $(-s^n)_{n>0}$…

We solve the spectral synthesis problem for exponential systems on an interval. Namely, we prove that any complete and minimal system of exponentials $\{e^{i\lambda_n t}\}$ in $L^2(-a,a)$ is hereditarily complete up to a one-dimensional…

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…

An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…

Let T be an algebraically bounded theory. We consider the $L(\bar\delta)$-expansions of T by a tuple $\bar \delta$ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose…

We add an analytic trans-exponential function $\varphi$ to $\mathbb{R}_{an,\exp}$. We reduce the o-minimality of $\mathbb{R}_{an,\exp,\varphi}$ to the existence of "many" regular values for some definable systems of functions, which is a…

For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…

Let $A$ be an abelian variety in a field of characteristic $0$. We prove that the expansion of $A$ by a generic divisible subgroup of $A$ with the same torsion exists provided $A$ has few algebraic endomorphisms, namely…

We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization…

SMT solvers use sophisticated techniques for polynomial (linear or non-linear) integer arithmetic. In contrast, non-polynomial integer arithmetic has mostly been neglected so far. However, in the context of program verification, polynomials…

We present some results and open problems related to expansions of the field of real numbers by hypergeometric and related functions focussing on definability and model completeness questions. In particular, we prove the strong model…

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

There exist NIP and non-NTP$_2$ theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals…

The recent generalizations of Boltzmann-Gibbs statistics mathematically relies on the deformed logarithmic and exponential functions defined through some deformation parameters. In the present work, we investigate whether a deformed…

We investigate continuous functions definable in a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group (DCULOAS structure). We prove a variant of the Arzela-Ascoli theorem…

We demonstrate that an expansion of a semi-bounded o-minimal expansion of the ordered group of reals by an increasing geometric progression is locally o-minimal.

Let $K$ be a finite tamely ramified extension of $\Q_p$ and let $L/K$ be a totally ramified $(\Z/p^n\Z)$-extension. Let $\pi_L$ be a uniformizer for $L$, let $\sigma$ be a generator for $\Gal(L/K)$, and let $f(X)$ be an element of $\O_K[X]$…

We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $\Sigma_1$-definable…

By a theorem of Suslin, a Tor-unital (not necessarily unital) ring satisfies excision in algebraic K-theory. We give a new and direct proof of Suslin's result based on an exact sequence of categories of perfect modules. In fact, we prove a…