The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators.
From MaRDI portal
Publication:1771944
DOI10.1007/PL00012448zbMath1061.06019MaRDI QIDQ1771944
Publication date: 19 April 2005
Published in: Algebra Universalis (Search for Journal in Brave)
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.