The additive group of the rationals does not have an automatic presentation

dc.creatorTsankov, Todor
dc.date2009-05-10
dc.date.accessioned2026-07-07T13:13:36Z
dc.date.available2026-07-07T13:13:36Z
dc.descriptionWe 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 $Q/Z$. The proof is combinatorial and uses most notably Freiman's theorem on sets with small doubling.
dc.description11 pages
dc.identifierhttps://arxiv.org/abs/0905.1505
dc.identifierhttp://arxiv.org/abs/0905.1505
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229944
dc.subjectLogic
dc.subjectCombinatorics
dc.titleThe additive group of the rationals does not have an automatic presentation
dc.typetext

Files

Collections