The spectrum problem for abelian \(\ell\)-groups and MV-algebras (Q776994)

On page 235 of his book [the reviewer, Advanced Łukasiewicz calculus and MV-algebras. Berlin: Springer (2011; Zbl 1235.03002)], the present reviewer listed eleven problems concerning MV-algebras. Problem 2 asks to characterize the topology of the prime spectral spaces of MV-algebras. In his recent paper [Trans. Am. Math. Soc. 371, No. 3, 2133--2158 (2019; Zbl 1472.06024)], \textit{F. Wehrung} gave the following characterization for countable abelian lattice ordered groups: Every second countable completely normal generalized spectral space is homeomorphic to the prime spectrum of an abelian lattice ordered group. The converse is well known. As a corollary, the handy reformulation for prime spectra \(X\) of MV-algebras (equivalently, for lattice ordered abelian groups with a distinguished strong order unit) becomes: \(X\) is spectral, has a countable basis of open sets, and for any points \(x\) and \(y\) in the closure of a singleton \(\{z\}\), either \(x\) is in the closure of \(\{y\}\) or \(y\) is in the closure of \(\{x\}\). In the paper under review it is proved that a topological space \(X\) is the prime spectrum of an MV-algebra iff \(X\) is spectral and the lattice \(K(X)\) of compact open subsets of \(X\) is a closed epimorphic image of the lattice of cylinder rational polyhedra (the latter being a natural generalization of rational polyhedra) of \([0, 1]^Y\) for some set \(Y\). The counterpart of this result for abelian lattice-ordered groups is also given. Finally, the authors axiomatize in monadic second-order logic the Belluce lattices of free MV-algebras Freeκ (equivalently, the lattice of cylinder rational polyhedra) for \(\kappa =1, 2\) and \(\infty\).