Interpreting the arithmetic in Thompson's group F
Group Theory
2007-05-23 v1 Logic
Abstract
We prove that the elementary theory of Thompson's group is hereditarily undecidable.
Cite
@article{arxiv.math/0701748,
title = {Interpreting the arithmetic in Thompson's group F},
author = {Vladimir Tolstykh and Valery Bardakov},
journal= {arXiv preprint arXiv:math/0701748},
year = {2007}
}