Resumen de A regular completion for the variety generated by the three-element Heyting algebra

John Harding

• 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