Related papers: Rigid models of Presburger arithmetic

Kastermans proved that consistently $\bigoplus_{\aleph_1} \mathbb{Z}_2$ has a cofinitary representation. We present a short proof that $\bigoplus_{\mathfrak{c}} \mathbb{Z}_2$ always has an arithmetic cofinitary representation. Further, for…

We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n,…

In this article, we study rational matrix representations of VZ $p$-groups ($p$ is any prime). Utilizing our findings on VZ $p$-groups, we explicitly obtain all inequivalent irreducible rational matrix representations of all $p$-groups of…

We use fast-growing finite and infinite sequences of natural numbers and more complicated constructs to define models of hypercomputation and interpret non-arithmetic predicates, with the strongest extensions reaching full second order…

In \cite{Kramer11} Kramer proves for a large class of semisimple Lie groups that they admit just one locally compact $\sigma$-compact Hausdorff topology compatible with the group operations. We present two different methods of generalising…

A rigidity theory is developed for the Euclidean and non-Euclidean placements of countably infinite simple graphs in R^d with respect to the classical l^p norms, for d>1 and 1<p<\infty. Generalisations are obtained for the Laman and…

The mathematical theory of rigidity of body-bar and body-hinge frameworks provides a useful tool for analyzing the rigidity and flexibility of many articulated structures appearing in engineering, robotics and biochemistry. In this paper we…

We lay the groundwork for a UV-complete formulation of the Euclidean Jackiw-Teitelboim two-dimensional models of quantum gravity when the boundary lengths are finite, emphasizing the discretized approach. The picture that emerges is…

We verify the maximum conjecture on the rigidity of totally nondegenerate model CR manifolds in the following two cases: (i) for all models of CR dimension one (ii) for the so-called full-models, namely those in which their associated…

We prove fine higher regularity results of Calder\'on-Zygmund-type for equations involving nonlocal operators modelled on the fractional $p$-Laplacian with possibly discontinuous coefficients of VMO-type. We accomplish this by establishing…

A Coxeter group admits infinite-dimensional irreducible complex representations if and only if it is not finite or affine. In this paper, we provide a construction of some of those representations for certain Coxeter groups using some…

In this paper, maximum principles for Euclidean and hyperbolic discrete conformal structures on polyhedral surfaces are established. These maximum principles unify and generalize the maximum principles for vertex scalings and different…

We describe a generalization of the concept of a pc presentation that applies to groups with a nontrivial solvable radical. Such a representation can be much more efficient in terms of memory use and even of arithmetic, than permuattion and…

We consider a first-order logic for the integers with addition. This logic extends classical first-order logic by modulo-counting, threshold-counting and exact-counting quantifiers, all applied to tuples of variables (here, residues are…

Given a 2-manifold, a fundamental question to ask is which groups can be realized as the isometry group of a Riemannan metric of constant curvature on the manifold. In this paper, we give a nearly complete classification of such groups for…

We obtain a bi-Lipschitz rigidity theorem for a Zariski dense discrete subgroup of a connected simple real algebraic group. As an application, we show that any Zariski dense discrete subgroup of a higher rank semisimple algebraic group $G$…

We describe the multiplier algebra of the noncommutative Schwartz space. This multiplier algebra can be seen as the largest ${}^*$-algebra of unbounded operators on a separable Hilbert space with the classical Schwartz space of rapidly…

We analyze the structure of a large class of connected algebraic rings over an algebraically closed field of positive characteristic using Greenberg's perfectization functor. We then give applications to rigidity problems for…

The notion of an anti-commutative (resp. commutative) rigid superalgebra is a natural generalisation of the notion of a Lie (resp. Jordan) superalgebra. Intuitively rigidity means that small deformations of the product under the structural…

We prove that the gcd of certain infinite number of integers associated to generalised arithmetic progressions remains bounded independent of the progression. Using this we also get bounds on the indices of certain congruence subgroups of…