Spectral-like duality for distributive Hilbert algebras with infimum (Q2411689)

Hilbert algebras originated as the algebraic counterpart of the implicative fragment of intuitionistic propositional logic. In particular, such algebras may be defined on semilattices or lattices. In this paper, the authors consider mainly Hilbert algebras, where the induced order is a distributive meet-semilattice, obtaining in this way distributive Hilbert algebras with infimum (\(\mathrm{DH}^\wedge\)-algebras), algebras with implication and conjunction, in which these operations do not necessarily satisfy the residuation law. According to the authors, this a reason that such algebras ``do not fall under the scope of the usual duality theory for lattice expansions''. The main objective of the paper is to describe a ``spectral-like'' duality for \(\mathrm{DH}^\wedge\)-algebras. (This type of a duality ``provides representations in terms of compactly-based sober spaces''. See, e.g. dualities for distributive meet-semilattices, implicative semilattices, Hilbert algebras, and Hilbert algebras with supremum, considered in a series of papers by the first author and his collaborators.) The authors introduce a class of spaces, based on compactly-based sober topological spaces, and show that the category of such spaces is dually equivalent to the category of \(\mathrm{DH}^\wedge\)-algebras with meet-semilattice homomorphisms. The restriction of this duality to a certain subcategory of spaces provides a duality for the category of \(\mathrm{DH}^\wedge\)-algebras with algebraic homomorphisms (generalizing the first author's duality for implicative semilattices). Some related properties of this duality are also considered.