Lattice uniformities and modular functions on orthomodular lattices
Traynor's decomposition for group-valued set functions is generalized to exhaustive modular functions. It is shown that the lattice of exhaustive (lattice-) uniformities on an orthomodular lattice \(L\) is a complete Boolean algebra isomorphic to the centre of a quotient completion of \(L\).
scientific article; zbMATH DE number 828182