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

• Autores: John Harding
• Localización: Houston journal of mathematics, ISSN 0362-1588, Vol. 34, Nº 3, 2008, págs. 649-660
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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