Semi-Heyting algebras term-equivalent to Gödel algebras (Q2376916)

Introducing the variety \(\mathcal{SH}\) of semi-Heyting algebras, \textit{H. P. Sankappanavar} [in: Proceedings of the 9th ``Dr. Antonio A. R. Monteiro'' congress on mathematics, Bahía Blanca, Argentina, 2007. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 33--66 (2008; Zbl 1175.06003)] considered the following conjecture ``there exists a variety \(\mathcal V\) of algebras (of the same type as that of Heyting algebras) that includes Heyting algebras and possesses the properties: (1) the algebras in \(\mathcal V\) are pseudocomplemented, (2) they are distributive and congruences on them are determined by filters.'' In this paper, the authors consider those semi-Heyting chains in which \(a\rightarrow b\in \{1,a,b\}\) for \(a<b\). This implies the existence of three subvarieties of \(\mathcal {L}\) (the subvariety of \(\mathcal{SH}\) generated by semi-Heyting chains): the subvariety \(\mathcal {L_H}\) of Gödel algebras (linear Heyting algebras) when \(a<b \) implies \(a\rightarrow b=1\); the subvariety \(\mathcal {L}_{\mathrm{Com}}\) of commutative linear semi-Heyting algebras when \(a<b \) implies \(a\rightarrow b=a\); and the subvariety \(\mathcal{L}_\vee\) of \(\mathcal {L}\) generated by the semi-Heyting chains in which \(a<b \) implies \(a\rightarrow b=b\). The authors prove that the subvarieties \(\mathcal {L}_{\mathrm{Com}}\) and \(\mathcal{L}_\vee\) are the only subvarieties of \(\mathcal{L}\) that are both term-equivalent to the variety \(\mathcal{L_H}\) (Theorem 4.7). Also, they investigate the variety \(\mathcal{C}\) generated within \(\mathcal{SH}\) by \(\mathcal{L_H}\), \(\mathcal{L}_\vee\) and \(\mathcal{L}_{\mathrm{Com}}\) (\(\mathcal{C}\) is locally finite and a construction of the finitely generated free algebra in this variety is obtained).