Interpreting the arithmetic in Thompson's group F

Simple item page
dc.creatorTolstykh, Vladimir
dc.creatorBardakov, Valery
dc.date2007-01-25
dc.date.accessioned2026-07-07T07:43:03Z
dc.date.available2026-07-07T07:43:03Z
dc.descriptionWe prove that the elementary theory of Thompson's group $F$ is hereditarily undecidable.
dc.identifierhttps://arxiv.org/abs/math/0701748
dc.identifierhttp://arxiv.org/abs/math/0701748
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/122671
dc.subjectGroup Theory
dc.subjectLogic
dc.subject20F65 (03C35, 03C60)
dc.titleInterpreting the arithmetic in Thompson's group F
dc.typetext

Files

Collections

arXiv