2 papers
math.LO2017
Tarski's Theorem on Intuitionistic logic, for polyhedra
Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill +1
In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact…
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…