The Macneille Completion of a Uniquely Complemented Lattice
John Harding · Canadian Mathematical Bulletin · 1994
Abstract Problem 36 of the third edition of Birkhoff's Lattice theory [2] asks whether the MacNeille completion of uniquely complemented lattice is necessarily uniquely complemented. We show that the MacNeille completion of a uniquely complemented lattice need not be complemented.