Related papers: Quantifier elimination in quasianalytic structures…
A remarkable theorem of Joris states that a function $f$ is $C^\infty$ if two relatively prime powers of $f$ are $C^\infty$. Recently, Thilliez showed that an analogous theorem holds in Denjoy--Carleman classes of Roumieu type. We prove…
We provide complete structural theorems for the so-called quasiasymptotic behavior of non-quasianalytic ultradistributions. As an application of these results, we obtain descriptions of quasiasymptotic properties of regularizations at the…
This paper investigates two classes of quasilinear and essentially nonlinear integral equations with a sum-difference kernel on the half-line. Such equations arise in various areas of physics, including the theory of radiative transfer in…
We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous…
For Denjoy--Carleman differential function classes $C^M$ where the weight sequence $M=(M_k)$ is logarithmically convex, stable under derivations, and non-quasianalytic of moderate growth, we prove the following: A mapping is $C^M$ if it…
Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of…
Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced.…
Let $t\mapsto A(t)$ for $t\in T$ be a $C^M$-mapping with values unbounded operators with compact resolvents and common domain of definition which are self-adjoint or normal. Here $C^M$ stands for $C^\om$ (real analytic), a quasianalytic or…
We generalize the classical K\"onig's and B\"ottcher's Theorems in complex dynamics to certain quasiregular mappings in the plane. Our approach to these results is unified in the sense that it does not depend on the local injectivity, or…
We study the relationship between the dynamics of the action $\alpha$ of a discrete group $G$ on a von Neumann algebra $M$, and structural properties of the associated crossed product inclusion $L(G) \subseteq M \rtimes_\alpha G$, and its…
We show that the graph $$\Gamma_f=\{(z,f(z))\in{\Bbb C}^2: z\in S\}$$ in ${\Bbb C}^2$ of a function $f$ on the unit circle $S$ which is either continuous and quasianalytic in the sense of Bernstein or $C^\infty$ and quasianalytic in the…
We semiclassicalise the standard notion of differential calculus in noncommutative geometry on algebras and quantum groups. We show in the symplectic case that the infinitesimal data for a differential calculus is a symplectic connection,…
We study boundary values of harmonic functions in spaces of quasianalytic functionals and spaces of ultradistributions of non-quasianalytic type. As an application, we provide a new approach to H\"ormander's support theorem for…
Different analogs of quasiclassical limit for a q-oscillator which result in different (commutative and non-commutative) algebras of ``classical'' observables are derived. In particular, this gives the q-deformed Poisson brackets in terms…
Quantifier elimination (QE) and Craig interpolation (CI) are central to various state-of-the-art automated approaches to hardware and software verification. They are rooted in the Boolean setting and are successful for, e.g., first-order…
We develop geometry of algebraic subvarieties of $K^{n}$ over arbitrary Henselian valued fields $K$. This is a continuation of our previous article concerned with algebraic geometry over rank one valued fields. At the center of our approach…
In this paper, we complete the long-standing challenge to establish a Khintchine-type theorem for arbitrary nondegenerate manifolds in $\mathbb{R}^n$. In particular, our main result finally removes the analyticity assumption from the…
In this paper we obtain a partial answer to a conjecture on the solvabilty of linear difference equations in quasianalytic Carleman classes.
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutine satisfiability modulo this theory, a problem for which there are several implementations available. The quantifier…
Recent improvement on Tarski's procedure for quantifier elimination in the first order theory of real numbers makes it feasible to solve small instances of the following problems completely automatically: 1. listing all equality and…