Profiniteness and representability of spectra of Heyting algebras

DOI10.1016/J.AIM.2021.107959arXiv2103.02530MaRDI QIDQ6362070

Nick Bezhanishvili, Guram Bezhanishvili, Michał M. Stronkowski, Tommaso Moraschini

Publication date: 3 March 2021

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Heyting algebras (lattice-theoretic aspects) (06D20) Stone spaces (Boolean spaces) and related structures (06E15) Ordered topological structures (06F30) Intermediate logics (03B55)

This page was built for publication: Profiniteness and representability of spectra of Heyting algebras