Related papers: A counterexample concerning quantifier elimination…
Algebras with given (anti-)commutativity structure are widespread in quantum mechanics. This structure is captured by quasi-Clifford algebras (QCA): a QCA generated by $\alpha_1, \dots, \alpha_n$ is is given by the relations $\alpha_i^2 =…
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 extend Mazzola's counterpoint model using category theory, generalizing from the category $\mathbf{Set}$ to other topoi with suitable properties. This generalization suggests that counterpoint's essential structure depends on specific…
Let $f: (\mathbb{C}^n,0) \rightarrow (\mathbb{C},0)$ be a semiquasihomogeneous function. We give a formula for the local {\L}ojasiewicz exponent $\mathcal{L}_{0}(f)$ of $f$, in terms of weights of $f$. In particular, in the case of a…
The leaves in singular holomorphic foliation theory are examples of quasi-analytic layers. In the first part of our publication we are concerned with a theory of these subjects. A quasi-analytic decomposition of a complex manifold is a…
The aim of the paper is twofold. First, we introduce analogs of (partial) derivatives on certain Noncommutative algebras, including some enveloping algebras and their "braided counterparts", namely, the so-called modified Reflection…
Given a quasiconformal mapping $f:\mathbb R^n\to\mathbb R^n$ with $n\ge2$, we show that (un-)boundedness of the composition operator ${\bf C}_f$ on the spaces $Q_{\alpha}(\mathbb R^n)$ depends on the index $\alpha$ and the degeneracy set of…
A hypersurface is said to be quasihomogeneous if in suitable coordinates with assigned weights, its equation becomes weighted homogeneous in its variables. For an irreducible quasihomogeneous plane curve, the equation necessarily becomes a…
In this paper, we prove Fukui-Kurdyka-Paunescu's Conjecture, which says that subanalytic arc-analytic bi-Lipschitz homeomorphisms preserve the multiplicities of real analytic sets. We also prove several other results on the invariance of…
We prove that the solutions of a cohomological equation of complex dimension one and in the analytic category have a monogenic dependence on the parameter, and we investigate the question of their quasianalyticity. This equation is the…
Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem for the system $\mathbf{LK}$, several other proofs have been proposed. Even though the…
We construct quantization functors of quasi-Lie bialgebras. We establish a bijection between this set of quantization functors, modulo equivalence and twist equivalence, and the set of quantization functors of Lie bialgebras, modulo…
We apply the Dwyer-Kan theory of homotopy function complexes in model categories to the study of mapping spaces in quasi-categories. Using this, together with our work on rigidification from [DS1], we give a streamlined proof of the Quillen…
In this paper we describe a multiparameter deformation of the function algebra of a semisimple coadjoint orbit. In the first section we use the representation of the Lie algebra on a generalized Verma module to quantize the Kirillov bracket…
We prove the equivalence between geometric and analytic definitions of quasiconformality for a homeomorphism $f\colon X\rightarrow Y$ between arbitrary locally finite separable metric measure spaces, assuming no metric hypotheses on either…
In the context of Hrushovski constructions we take a language $ \mathcal{L} $ with a ternary relation $ R $ and consider the theory of the generic models $ M^{*}_{\alpha}, $ of the class of finite $ \mathcal{L}$-structures equipped with…
In their paper 'p-adic and real subanalytic sets, J. Denef and L. van den Dries prove that the theory of the ring of p-adic integers admits the elimination of quantifiers in the language of p-adic restricted analytic functions expanded by a…
An important problem in applications of quasiconformal analysis and in its numerical aspect is to establish algorithms for explicit or approximate determination of the basic quasiinvariant curvelinear and analytic functionals intrinsically…
Quantum spaces with $\frak{su}(2)$ noncommutativity can be modelled by using a family of $SO(3)$-equivariant differential $^*$-representations. The quantization maps are determined from the combination of the Wigner theorem for $SU(2)$ with…
In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder $R$, its rough set-based Nelson…