Proatomic modular ortholattices: Representation and equational theory
arXiv:1501.02477
Abstract
We study modular ortholattices in the variety generated by the finite dimensional ones from an equational and geometric point of view. We relate this to coordinatization results.