Interpreting the arithmetic in Thompson's group F

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/122671We prove that the elementary theory of Thompson's group $F$ is hereditarily undecidable.Group TheoryLogic20F65 (03C35, 03C60)Interpreting the arithmetic in Thompson's group Ftext