arXiv Analytics

Sign in

arXiv:math/0701748 [math.GR]AbstractReferencesReviewsResources

Interpreting the arithmetic in Thompson's group F

Vladimir Tolstykh, Valery Bardakov

Published 2007-01-25Version 1

We prove that the elementary theory of Thompson's group $F$ is hereditarily undecidable.

Categories: math.GR, math.LO
Subjects: 20F65, 03C35, 03C60
Related articles: Most relevant | Search more
arXiv:1709.03888 [math.GR] (Published 2017-09-12)
Embeddings into Thompson's groups from quasi-median geometry
arXiv:0801.1862 [math.GR] (Published 2008-01-11)
Convexity properties of Thompson's group F
arXiv:1501.06682 [math.GR] (Published 2015-01-27)
The $Σ$-invariants of Thompson's group $F$ via Morse theory

Links

Toolbox