3 papers
math.GR2026
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…
math.GR2026
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…
math.GR2026
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…