The necessary and sufficient conditions for atomic orthomodular lattices to have the MacNeille completion modular, or (o)-continuous or order topological, orthomodular lattices are proved. Moreover we show that if in an orthomodular lattice the (o)-convergence of filters is topological then the (o)-convergence of nets need not be topological. Finally we show that even in the case when the MacNeille completion of an orthomodular lattice L is order-topological, then in general the (o)-convergence of nets in does not imply their (o)-convergence in L. (This disproves, also for the orthomodular and order-topological case, one statement in G.Birkhoff's book.)
Email your librarian or administrator to recommend adding this journal to your organisation's collection.
* Views captured on Cambridge Core between September 2016 - 28th May 2017. This data will be updated every 24 hours.