Interpreting the arithmetic in Thompson’s group FF

We prove that the elementary theory of Thompson’s group FF is hereditarily undecidable.