2 citations · 2 across the 4 of their papers we have counts for
4 papers
The Diophantine problem in the Baumslag-Gersten group
Robert D. Gray, Alex Levine
We show that, for every positive prime number , the Baumslag-Gersten group has an undecidable Diophantine pro…
Undecidable Diophantine problems in generalisations of one-relator groups
Robert D. Gray, Alex Levine
Motivated by the open problem of whether all one-relator groups have decidable Diophantine problem, in this paper we prove a collection of undecidability results about the Diophant…
On groups with EDT0L word problem
Alex Bishop, Murray Elder, Alex Evetts +2
We prove that the word problem for the infinite cyclic group is not EDT0L, and obtain as a corollary that a finitely generated group with EDT0L word problem must be torsion. In add…
Effective equation solving, constraints and growth in virtually abelian groups
Laura Ciobanu, Alex Evetts, Alex Levine
In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show th…