Related papers: Quantifier elimination in quasianalytic structures…

We study mappings on sub-Riemannian manifolds which are quasi-regular with respect to the Carnot-Caratheodory distances and discuss several related notions. On H-type Carnot groups, quasiregular mappings have been introduced earlier using…

In this paper we extend Cartier's deformation theorem of braided monoidal categories admitting an infinitesimal braiding to the non-symmetric case. The algebraic counterpart of these categories is the notion of a pre-Cartier…

We introduce a new notion of "regularity structure" that provides an algebraic framework allowing to describe functions and / or distributions via a kind of "jet" or local Taylor expansion around each point. The main novel idea is to…

Generalized analytic functions over generalized analytic manifolds are build from sums of convergent real power series with non-negative real exponents (and some well-ordering condition on the support). In a paper by Mart\'in-Villaverde,…

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…

We present a quasi-static elasticity model that accounts for damage evolution based on the ideas of Kachanov 1958 and and Rabotnov 1968. We analyze the resulting strongly nonlinear system of differential equations in view of well-posedness.…

We generalize Harrington-Marker-Shelah's Dilworth-style characterization of the existence of non-empty perfect antichains to co-analytic quasi-orders, establish the analogous theorem at the next definable cardinal, and consider…

This work initiates a systematic study of the class of quasi bijective and quasi non-degenerate solutions to the set-theoretic Yang-Baxter equation. The motivation stems from the observation that solutions that arise from dual weak braces…

We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…

For two types of moderate growth representations of $(\mathbb{R}^d,+)$ on sequentially complete locally convex Hausdorff spaces (including F-representations [J. Funct. Anal. 262 (2012), 667-681], we introduce Denjoy-Carleman classes of…

We introduced the quasicentral modulus to study normed ideal perturbations of operators. It is a limit of condenser quasicentral moduli in view of a recently noticed analogy with capacity in nonlinear potential theory. We prove here some…

This paper develops an abstract framework for constructing ``seminormal forms'' for cellular algebras. That is, given a cellular R-algebra A which is equipped with a family of JM-elements we give a general technique for constructing…

The paper concerns uniform Yomdin-Gromov parametrizations together with an estimate of their number, which generalizes a theorem by Cluckers-Forey-Loeser to arbitrary equicharacteristic zero valued fields with analytic structure. To this…

We summarize our recently proposed approach to quantum field theory on noncommutative curved spacetimes. We make use of the Drinfel'd twist deformed differential geometry of Julius Wess and his group in order to define an action functional…

We define quantum deformations of Adams operations in $K$-theory, in the framework of quasimap quantum $K$-theory. They provide $K$-theoretic analogs of the quantum Steenrod operations from equivariant symplectic Gromov--Witten theory. We…

The aim of this article is to provide space level maps between configuration spaces of graphs that are predicted by algebraic manipulations of cellular chains. More explicitly, we consider edge contraction and half-edge deletion, and…

The geometric quantization of a symplectic manifold endowed with a prequantum bundle and a metaplectic structure is defined by means of an integrable complex structure. We prove that its semi-classical limit does not depend on the choice of…

Using arbitrary symplectic structures and parametrization invariant actions, we develop a formalism, based on Dirac's quantization procedure, that allows us to consider theories with both space-space as well as space-time noncommutativity.…

This paper continues our study of quasicrystals initiated in Part I. We propose a general mechanism for constructing quasicrystals, existing globally in time, in spatially-extended systems (partial differential equations with Euclidean…

In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formulas from context as subobjects in a specific category, e.g.,…