collaborators

1 paper

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…