The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators.

DOI10.1007/PL00012448zbMath1061.06019MaRDI QIDQ1771944

John Harding

Publication date: 19 April 2005

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

countable generated orthomodular latticefree orthomodular lattice

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12) Free algebras (08B20)

Related Items (7)

Sasaki projections ⋮ On locally finite orthomodular lattices ⋮ Computer proof of monotonicity of operations on orthomodular lattices ⋮ On set-representable orthocomplemented difference lattices ⋮ Three classes of orthomodular lattices ⋮ Canonical extensions and ultraproducts of polarities ⋮ Weaker forms of associativity in orthomodular lattices.

This page was built for publication: The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators.