MV-algebras, infinite dimensional polyhedra, and natural dualities (Q512132)

In [\textit{V. Marra} and \textit{L. Spada}, Stud. Log. 100, No. 1--2, 253--278 (2012; Zbl 1252.06006)], the classical dual adjunction between ideals of polynomials and affine varieties is generalized to the setting of MV-algebras. In this way, an adjunction between the whole category of MV-algebras and the category of Tychonoff spaces with appropriates arrows called definable maps is provided. The duality for semi-simple MV-algebras as well as the one between finitely presented MV-algebras and rational polyhedra is obtained by specializing such an adjunction. In the paper under review, the authors connect the above geometrical dualities with the general theory of natural dualities and provide a number of applications. Specifically, the authors give characterizations of the dual space of the semi-simple tensor product of MV-algebras and of strongly semi-simple MV-algebras that extends results in [\textit{M. Busaniche} and \textit{D. Mundici}, Rev. Mat. Iberoam. 30, No. 1, 191--201 (2014; Zbl 1319.06009)] and [\textit{L. M. Cabrer}, J. Algebra 404, 271--283 (2014; Zbl 1319.06010)]. Also, a characteriztion of polyehdra MV-algebras that extends results in [\textit{M. Busaniche} et al., ``Polyhedra MV-algebras'', Fuzzy Sets Syst. 292, 150--159 (2016; \url{doi:10.10116/j.fss.2014.06.015})] is provided.