Interpreting the arithmetic in Thompson's group F
arXiv:math/0701748
Abstract
We prove that the elementary theory of Thompson's group is hereditarily undecidable.
arXiv:math/0701748
We prove that the elementary theory of Thompson's group is hereditarily undecidable.