Atlas home || Conferences | Abstracts | about Atlas

Algebras, Lattices, Varieties - A Conference in Honor of Walter Taylor
August 15-18, 2004
University of Colorado
Boulder, Colorado, USA

Organizers
Jennifer Hyndman, Keith Kearnes, Ralph McKenzie, George McNulty, Ágnes Szendrei, Ross Willard

View Abstracts
Conference Homepage

MacNeille Completions of Heyting Algebras
by
Guram Bezhanishvili
New Mexico State University
Coauthors: John Harding

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.

Date received: July 6, 2004

Copyright © 2004 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caoc-12.