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

We study upper bounds, approximations, and limits for functions of motivic exponential class, uniformly in non-Archimedean local fields whose characteristic is $0$ or sufficiently large. Our results together form a flexible framework for…

It is well known that ordered exponential fields with a compatible non-trivial valuation cannot be spherically complete, but there are some that are ``complete enough''. This paper gives analogues of Kaplansky's theorem on maximally valued…

We demonstrate that the open core of a definably complete expansion of a densely linearly ordered abelian group is locally o-minimal if and only if any definable closed subset of $R$ is either discrete or contains a nonempty open interval.…

We study expansions of Hilbert spaces with a bounded normal operator $T$. We axiomatize this theory in a natural language and identify all of its completions. We prove the definability of the adjoint $T^*$ and prove quantifier elimination…

Let $T$ be a complete, model-complete, geometric dp-minimal $\mathcal{L}$-theory of topological fields of characteristic $0$ and let $T(\partial)$ be the theory of expansions of models of $T$ by a derivation $\partial$. We assume that…

We define a class of pre-ordered abelian groups that we call finite-by-Presburger groups, and prove that their theory is model-complete. We show that certain quotients of the multiplicative group of a local field of characteristic zero are…

Using generalized enriched categories, in this paper we show that Rosick\'{y}'s proof of cartesian closedness of the exact completion of the category of topological spaces can be extended to a wide range of topological categories over…

I prove the statement in the title using results from arXiv:2404.07646(2). This shows that Question~1.1 in [1] has negative answer for certain expansions of a valued field.

Fix a language L extending the language of real closed fields by at least one new predicate or function symbol. Call an L-structure R pseudo-o-minimal if it is (elementarily equivalent to) an ultraproduct of o-minimal structures. We show…

We establish a criterion for the completeness of an exponential system in the spaces of functions continuous on a convex compact set and holomorphic in the interior of this compact set, as well as in the spaces of holomorphic functions in…

For analytic nonlinear systems of ordinary differential equations, under some non-degeneracy and integrability conditions we prove that the formal exponential series solutions (trans-series) at an irregular singularity of rank one are Borel…

We prove that for a weight $w$, which has at least polynomial decay, there exists a complete and minimal system $\{e^{i\lambda_n t}\}_{n\in \mathbb{N}}$ of exponentials in weighted space $L^2(w)$ on $(-\pi,\pi)$, which is not hereditarily…

Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also…

We show that the composition of omega-series by surreal numbers, or more generally by elements of any confluent field of transseries, is monotonic in its second argument. In particular, omega-series and LE-series interpreted as functions…

Let $g$ be a entire function of exponential type on the complex plane $\mathbb C$, $Z=\{ z_k\}_{k=1,2,\dots}$ be a sequence of points in $\mathbb C$. We give a criterion for the existence of an entire function $f\neq 0$ of exponential type…

In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted…

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$,…

We let R be an o-minimal expansion of a field, V a convex subring, and $(R_0, V_{0})$ an elementary substructure of (R,V). We let L be the language consisting of a language for R, in which R has elimination of quantifiers, and a predicate…

Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…

We give necessary and sufficient conditions for a polynomially bounded o-minimal expansion of a real closed field (in a language of arbitrary cardinality) to be $\aleph_{\alpha}$-saturated. The conditions are in terms of the value group,…