Abstract :
In this paper we consider MV-algebras and their prime spectrum. We show that there is an uncountable MV-algebra that has the same spectrum as the free MV-algebra over one element, that is, the MV-algebra Free1 of McNaughton functions from [0; 1] to [0; 1], the continuous, piecewise linear functions with integer coe cients. The construction is heavily based on Mundici equivalence between MV-algebras and lattice ordered abelian groups with the strong unit. Also, we heavily use the fact that two MV-algebras have the same spectrum if and only if their lattice of principal ideals is isomorphic. As an intermediate step we consider the MV-algebra A1 of continuous, piecewise linear functions with rational coe cients. It is known that A1 contains Free1, and that A1 and Free1 are equispectral. However, A1 is in some sense easy to work with than Free1. Now, A1 is still countable. To build an equispectral uncountable MV-algebra A2, we consider certain almost rational functions on [0; 1], which are rational in every initial segment of [0; 1], but which can have an irrational limit in 1. We exploit heavily, via Mundici equivalence, the properties of divisible lattice ordered abelian groups, which have an additional structure of vector spaces over the rational field.
