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…