Proatomic modular ortholattices: Representation and equational theory
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.
math.RA↗