Related papers: Interpretations of Presburger Arithmetic in Itself
We study the equational theory of the Weihrauch lattice with multiplication, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the product $\times$, and the finite…
In this note, we construct and study an algebraic system similar to the natural numbers, but with noncommutative addition. The addition we introduce is a binary operation that commutes with itself in the sense of N. Durov. Neverheless, the…
The arithmetic of natural numbers has a natural and simple encoding within sets, and the simplest set whose structure is not that of any natural number extends this set-theoretic representation to positive and negative integers. The…
We show that the extension of Presburger arithmetic by a quadratic generalised polynomial of a specific form is undecidable.
We prove a number of elementary facts about computability in partial combinatory algebras (pca's). We disprove a suggestion made by Kreisel about using Friedberg numberings to construct extensional pca's. We then discuss separability and…
The theory of addition in the domains of natural (N), integer (Z), rational (Q), real (R) and complex (C) numbers is decidable, so is the theory of multiplication in all those domains. By Godel's Incompleteness Theorem the theory of…
We introduce the Pythagorean dimension: a natural number (or infinity) for all representations of the Cuntz algebra and certain unitary representations of the Richard Thompson groups called Pythagorean. For each natural number d we…
The finite families of Hahn polynomials and associated biorthogonal rational functions are interpreted algebraically in the framework of Leonard trios. We introduce the trio Hahn algebra and prove that it is isomorphic to the meta Hahn…
We show that main results of rational trigonometry (as developed by NJ Wildberger, "Divine Proportions", 2005) can be succinctly expressed using projective geometric algebra (PGA). In fact, the PGA representation exhibits distinct…
In this work, we study a numeral system with a natural base $s \geq 2$ and a redundant alphabet $A_r=\{0,1, \dots, r\}$, where $s \leq r \leq 2s-2$. We investigate the topological, metric, and fractal properties of the set of numbers in the…
In the context of the integration over algebras introduced in a previous paper, we obtain several results for a particular class of associative algebras with identity. The algebras of this class are called self-conjugated, and they include,…
We show that linear inequalities for entropies have a natural geometric interpretation in terms of Hausdorff and packing dimensions, using the point-to-set principle and known results about inequalities for complexities, entropies and the…
Numerical characteristics of identities of finite-dimensional nonassociative algebras are studied. The main result is the construction of a four-dimensional simple unitary algebra with fractional PI-exponent strictly less than its…
A classification of all four-dimensional power-commutative real division algebras is given. It is shown that every four-dimensional power-commutative real division algebra is an isotope of a particular kind of a quadratic division algebra.…
Probabilistic abstract interpretation is a theory used to extract particular properties of a computer program when it is infeasible to test every single inputs. In this paper we apply the theory on neural networks for the same purpose: to…
In the paper there are investigated various approximate representations of the infinite dimensional $\Bbb Z$--graded Lie algebras: the Witt algebra of all Laurent polynomial vector fields on a circle and its one-dimensional nontrivial…
The lambda-PRK-calculus is a typed lambda-calculus that exploits the duality between the notions of proof and refutation to provide a computational interpretation for classical propositional logic. In this work, we extend lambda-PRK to…
We study the non-trivial central extensions $CEHeis$ of the Heisenberg algebra $Heis$ recently constructed in {AccBouCE}. We prove that a real form of $CEHeis$ is one the fifteen classified real four--dimensional solvable Lie algebras. We…
We give a quantifier elimination procedure for one-parametric Presburger arithmetic, the extension of Presburger arithmetic with the function $x \mapsto t \cdot x$, where $t$ is a fixed free variable ranging over the integers. This resolves…
We report on simulation, hierarchy, and decidability results for Practical Regular Expressions (PRE), which may include back references in addition to the standard operations union, concatenation, and star. The following results are…