MacNeile Completions of Heyting Algebras

• Autores: Guram Bezhanishvil, John Harding
• Localización: Houston journal of mathematics, ISSN 0362-1588, Vol. 30, Nº 4, 2004, págs. 937-952
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • In this note we provide a topological description of the MacNeille completion of a Heyting algebra similar to the description of the MacNeille completion of a Boolean algebra in terms of regular open sets of its Stone space. We also show that the only varieties of Heyting algebras that are closed under MacNeille completions are the trivial variety, the variety of all Boolean algebras, and the variety of all Heyting algebras.