Hyper-MacNeille completions of Heyting algebras (Q2062218)

An element \(a\) of a Heyting algebra \(H\) is supplemented if there is a least element \(a^+\) satisfying \(a\vee a^+=1\). An element \(c\in H\) is central if it is complemented. \(H\) is centrally supplemented if each element of \(H\) has a supplement that is central. In this paper, it is shown that any Heyting algebra \(H\) has a centrally supplemented extension \(H'\) that lies in \({\mathbf H}{\mathbf S}{\mathbf P}(H)\). The paper shows that the MacNeille completion of the centrally supplemented extension of \(H\) agrees with the ``hyper-MacNeille completion of \(H\)'', as introduced in [\textit{A. Ciabattoni} et al., Ann. Pure Appl. Logic 168, No. 3, 693--737 (2017; Zbl 1422.03038)]. The paper uses this result to show that any finitely generated variety of Heyting algebras is closed under hyper-MacNeille completions.