On locally finite orthomodular lattices

Dominika Burešová, Pavel Pták

Let us denote by LF the class of all orthomodular lattices (OMLs) that are locally finite (i.e., L in LF provided each finite subset of L generates in L a finite subOML). We first…