On free MV algebras and a problem of Tarski

In this paper we prove that the first order theories of the free MV algebras with finitely many generators aredifferent from each other. This answers to the MV algebra analogue of a well-known (now solved) problem ofTarski for groups