A regular completion for the variety generated by the three-element Heyting algebra. (English) Zbl 1229.06001
Summary: We show that the variety generated by the three-element Heyting algebra admits a meet dense, regular completion even though it is not closed under MacNeille completions.
MSC:
06B23 | Complete lattices, completions |
06D20 | Heyting algebras (lattice-theoretic aspects) |
06B20 | Varieties of lattices |