Related papers: A counterexample concerning quantifier elimination…
We explore the indecomposable submodule structure of quantum Grassmann super-algebra $\Omega_q(m|n)$ and its truncated objects $\Omega_q(m|n,\textbf{r})$ in the case when $q=\varepsilon$ is an $\ell$-th root of unity. A net-like…
In a recent series of papers we have analyzed a certain deformation of the canonical commutation relations producing an interesting functional structure which has been proved to have some connections with physics, and in particular with…
We give a new definition of the semigroup C*-algebra of a left cancellative semigroup, which resolves problems of the construction by X. Li. Namely, the new construction is functorial, and the independence of ideals in the semigroup does…
We associate to any irreducible germ S of complex quasi-ordinary hypersurface an analytically invariant semigroup. We deduce a direct proof (without passing through their embedded topological invariance) of the analytical invariance of the…
Going back to Kreisel in the Sixties, hyperarithmetical analysis is a cluster of logical systems just beyond arithmetical comprehension. Only recently natural examples of theorems from the mathematical mainstream were identified that fit…
This paper is aimed to show the essential role played by the theory of quasi-analytic functions in the study of the determinacy of the moment problem on finite and infinite-dimensional spaces. In particular, the quasi-analytic criterion of…
We are dealing in this work with such formal and conceptual extensions of nonrelativistic quantum mechanics (QM) which contain QM with its standard formalism and interpretation as a subtheory. QM is here primarily equivalently reformulated…
In this paper we address the problem of classifying complex (non-homogeneous) quasihomogeneous polynomials in two variables under bi-Lipschitz equivalence. We prove that pairs of such polynomials are (right) bi-Lipschitz equivalent as…
New systems of Laplace (Casimir) operators for the orthogonal and symplectic Lie algebras are constructed. The operators are expressed in terms of paths in graphs related to matrices formed by the generators of these Lie algebras with the…
We give an axiomatic formulation of quantum structures like semilogics and quasilogics which generalize the boolean semirings of events and fuzzy logics. The notions of distributions, states, representations observables and semiobservables…
We investigate some basic descriptive set theory for countably based completely quasi-metrizable topological spaces, which we refer to as quasi-Polish spaces. These spaces naturally generalize much of the classical descriptive set theory of…
Let K be an algebraically closed field endowed with a complete non-archimedean norm with valuation ring R. Let f:Y -> X be a map of K-affinoid varieties. In this paper we study the analytic structure of the image f(Y) in X; such an image is…
We study the algebra of invariant representative functions over the N-fold Cartesian product of copies of a compact Lie group G modulo the action of conjugation by the diagonal subgroup. We construct a basis of invariant representative…
Cut-elimination is the bedrock of proof theory with a multitude of applications from computational interpretations to proof analysis. It is also the starting point for important meta-theoretical investigations including decidability,…
We demonstrate our recent general results on the Casimir construction and moduli space of all bicovariant calculi by means of some detailed examples, including finite-difference and 2-jet cacluli on $\R^n$ and full details of the Casimir…
The aim of this article is to complete results of [M.00] and [B.08] and to show that they imply a rather general existence theorem for meromorphic quotient of strongly quasi-proper meromorphic equivalence relations. In this context, generic…
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 prove a general theorem showing that iterated skew polynomial extensions of the type which fit the conditions needed by Cauchon's deleting derivations theory and by the Goodearl-Letzter stratification theory are unique factorisation…
Preordered semialgebras and semirings are two kinds of algebraic structures occurring in real algebraic geometry frequently and usually play important roles therein. They have many interesting and promising applications in the fields of…
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…