Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
Miguel Martins, Tommaso Moraschini
A bi-Heyting algebra validates the Gödel-Dummett axiom iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-H…
math.LO2021
Profiniteness and representability of spectra of Heyting algebras
G. Bezhanishvili, N. Bezhanishvili, T. Moraschini +1
We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More gener…