Title of article :
Interpreting the arithmetic in Thompson’s group F
Author/Authors :
Valery Bardakov، نويسنده , , Vladimir Tolstykh، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Abstract :
We prove that the elementary theory of Thompson’s group F is hereditarily undecidable.
Journal title :
Journal of Pure and Applied Algebra
Journal title :
Journal of Pure and Applied Algebra
