29 February 2008
Bardakov and Tolstykh have recently shown that Richard Thompson's group $F$ interprets the Arithmetic $(\mathbb Z,+,\times)$ with parameters. We consider a class of infinite groups of piecewise affine permutations of an interval which contains all the three groups of Thompson and some classical families of finitely presented infinite simple groups. We have interpreted the Arithmetic in all the groups of this class. In particular we have obtained that the elementary theories of all these groups are undecidable. Additionally, we have interpreted the Arithmetic in $F$ and some of its generalizations without parameters. This is a joint work with Tuna Altınel.
- Logic Seminar