6 citations · 11 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
Varieties of strictly n-generated Heyting algebras
Tapani Hyttinen, Davide Emilio Quadrellaro
For any we construct an infinite Heyting algebra which is -generated but that contains only finite -generated subalgebras. From this we conclude that for ever…
math.LO2023★ 1 cited
Esakia Duals of Regular Heyting Algebras
Gianluca Grilletti, Davide Emilio Quadrellaro
We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and…