Abstract
We prove that the additive group of the rationals does not have an automatic presentation. The proof also applies to certain other abelian groups, for example, torsion-free groups that are p-divisible for infinitely many primes p, or groups of the form ⊕p ∈ I Z(p∞), where I is an infinite set of primes.
Citation
Todor Tsankov. "The additive group of the rationals does not have an automatic presentation." J. Symbolic Logic 76 (4) 1341 - 1351, December 2011. https://doi.org/10.2178/jsl/1318338853
Information