MV-algebras: an approach to xed points in Lukasiewicz logic

We study an expansion of MV-algebras, called MV-algebras, in which minimal and maximal xed points are denable. The rst result is that MV-algebras are termwise equivalent to divisible MV -algebras, i.e. a combination of two known MValgebras expansion: divisible MV-algebras and MV -algebras. Using methods from the two known extensions we derive a number of results about MV-algebras; among others: subdirect representation, standard completeness, amalgamation property and a description of the free algebra.