3 papers
math.LO2023
The Intermediate Logic of Convex Polyhedra
Sam Adam-Day, Nick Bezhanishvili, David Gabelaia +1
We investigate a recent semantics for intermediate (and modal) logics in terms of polyhedra. The main result is a finite axiomatisation of the intermediate logic of the class of al…
math.RA2023
Separable MV-algebras and lattice-groups
Vincenzo Marra, Matías Menni
General theory determines the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-…
math.FA2014
From Freudenthal's Spectral Theorem to projectable hulls of unital Archimedean lattice-groups, through compactifications of minimal spectra
Richard N. Ball, Vincenzo Marra, Daniel McNeill +1
We use a landmark result in the theory of Riesz spaces - Freudenthal's 1936 Spectral Theorem - to canonically represent any Archimedean lattice-ordered group with a strong unit…