The free orthomodular word problem is solvable
Gudrun Kalmbach · Bulletin of the Australian Mathematical Society · 1986
It is shown that the free orthomodular word problem is solvable. Since the free orthomodular lattice L0 on countable many generators has, as a partial subalgebra, every finite partial orthomodular lattice P, which is contained in some orthomodular lattice as a partial subalgebra, it is sufficient to prove Evans embedding property for these P only. The construction of the finite orthomodular lattice containing P as a partial subalgebra has and can be done outside of L0. It uses the coatom extension for ortholattices.