Related papers: Interpretations of Presburger Arithmetic in Itself
We show that it is decidable whether or not a relation on the reals definable in the structure $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$ can be defined in the structure $\langle \mathbb{R}, +,<, 1 \rangle$. This result is achieved by…
It is shown that each linear operator on a separable Hilbert space which generates a finite type I von Neumann algebra has, up to unitary equivalence, a unique representation as a direct integral of inflations of mutually unitary…
The function $p_{xy}$ that interchanges two logical variables $x,y$ in formulas is hard to describe in the following sense. Let $F$ denote the Lindenbaum-Tarski formula-algebra of a finite-variable first order logic, endowed with $p_{xy}$…
After a short introduction on Clifford algebras of polynomials, we give a general method of constructing a matrix representation. This process of linearization leads naturally to two fundamental structures: the generalized Clifford algebra…
Automata provide a decision procedure for Presburger arithmetic. However, until now only crude lower and upper bounds were known on the sizes of the automata produced by this approach. In this paper, we prove an upper bound on the the…
We introduce and study transposed Poisson conformal superalgebras, the $\mathbb Z_2$-graded conformal analogues of transposed Poisson algebras, as well as their noncommutative variants. We derive a family of identities forced by the…
Monadic decomposibility --- the ability to determine whether a formula in a given logical theory can be decomposed into a boolean combination of monadic formulas --- is a powerful tool for devising a decision procedure for a given logical…
In this short note we show that every connected reductive simply-connected algebraic group of rank $>1$ over the complex numbers has infinitely many pairs of irreducible representations which are not related by an automorphism of the…
Linear algebra is usually defined over a field such as the reals or complex numbers. It is possible to extend this to skew fields such as the quaternions. However, to the authors' knowledge there is no commonly accepted notation of linear…
We classify the automorphic representations (over number fields) and the irreducible admissible representations (over local fields) of unitary groups which are not quasi-split, under the assumption that the same is known for quasi-split…
A classification of (countable) direct limits of finite dimensional involution simple associative algebras over an algebraically closed field of arbitrary characteristic is obtained. This also classifies the corresponding dimension groups.…
The algebraic and geometric classifications of complex $3$-dimensional right alternative superalgebras are given. As a byproduct, we have the algebraic and geometric classification of the variety of $3$-dimensional $\mathfrak{perm}$, binary…
In the article at hand, we sketch how, by utilizing nilpotency to its fullest extent (Engel, Super Engel) while using methods from the theory of universal enveloping algebras, a complete description of the indecomposable representations may…
It is shown that for any fixed $i>0$, the $\Sigma_{i+1}$-fragment of Presburger arithmetic, i.e., its restriction to $i+1$ quantifier alternations beginning with an existential quantifier, is complete for…
The periplectic Lie superalgebra $\mathfrak{p}(n)$ is one of the most mysterious and least understood simple classical Lie superalgebras with reductive even part. We approach the study of its finite dimensional representation theory in…
E(2) is studied as the automorphism group of the Heisenberg algebra H. The basis in the Hilbert space K of functions on H on which the unitary irreducible representations of the group are realized is explicitely constructed. The addition…
In this note a simple extension of the complex algebra to higher dimension is proposed. Using the postulated algebra a two dimensional Dirac equation is formulated and its solution is calculated. It is found that there is a sub-algebra…
This article surveys results on graded algebras and their Hilbert series. We give simple constructions of finitely generated graded associative algebras $R$ with Hilbert series $H(R,t)$ very close to an arbitrary power series $a(t)$ with…
The goals of this paper are threefold. First, we provide a new ''universal'' definition for the Racah algebra of rank 2 as an extension of the rank-1 Racah algebra where the generators are indexed by subsets and any three disjoint indexing…
In an earlier work extensions of supersymmetry and super Lie algebras were constructed consistently starting from any representation $\D$ of any Lie algebra $\g$. Here it is shown how infinite dimensional Lie algebras appear naturally…