Projective Orthomodular Lattices

Abstract We introduce sectional projectivity, which appears to be the correct notion of projectivity when working with orthomodularlattices. We prove some positive results for varieties of OMLs satisfying various finiteness conditions, namely that every finite OML in such a variety is sectionally projective. In contrast, we prove that the eight element modular ortholattice, MO 3, is not projective in the variety of modular ortholattices.