Resumen de A regular completion for the variety generated by the three-element Heyting algebra
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
