On set-representable orthocomplemented difference lattices
An orthocomplemented difference lattice is an algebra \(\mathbf L=(L,\vee,\wedge,\Delta,{}',0,1)\) of type \((2,2,2,1,0,0)\) such that \((L,\vee,\wedge,{}',0,1)\) is an orthocomplemented lattice and the following identities are satisfied: \(\Delta\) is associative, \(x\Delta1\approx1\Delta x\approx x'\) and \(x\Delta y\le x\vee y\). \(\mathbf L\) is called set-representable if there exists a set \(X\) and a subset \(\Omega\) of \(2^X\) such that \(X\in\Omega\), \(A\Delta B\in\Omega\) for all \(A,B\in\Omega\) and \((L,\le,\Delta,0,1)\cong(\Omega,\subseteq,\Delta,\emptyset,X)\). It is proved that the class of set-representable orthocomplemented difference lattices is not locally finite. An orthomodular lattice is called concrete if it is isomorphic to a collection of subsets of a set with partial ordering given by set inclusion, orthocomplementation given by set complementation and finite orthogonal joins given by disjoint unions. An orthomodular lattice \(\mathbf M\) is said to be OML-embeddable into \(\mathbf L\) if \(\mathbf M\) can be embedded into the orthomodular lattice \((L,\vee,\wedge,{}',0,1)\). It is proved that not every concrete orthomodular lattice can be OML-embedded into an orthocomplemented difference lattice. Reviewer's remark: In the first reference ``Länger, H. M. should be ``Länger, H..
- On identities in orthocomplemented difference lattices
- Representations of Lattices by Sets
- Orthocomplemented difference lattices in association with generalized rings
- scientific article
- Orthocomplemented lattices with a symmetric difference
- A remark on complete lattices represented by sets
- scientific article; zbMATH DE number 18139
- On the set representation of an orthomodular poset
- Representation of complete ortholattices by sets with orthogonality
- scientific article; zbMATH DE number 3851783
- A NOTE ON SYMMETRIC DIFFERENCES OF ORTHOMODULAR LATTICES
- scientific article; zbMATH DE number 1154165 (Why is no real title available?)
- scientific article; zbMATH DE number 3807678 (Why is no real title available?)
- Noncommutative symmetric differences in orthomodular lattices
- On identities in orthocomplemented difference lattices
- Orthocomplemented difference lattices with few generators
- Orthocomplemented lattices with a symmetric difference
- Orthocomplemented posets with a symmetric difference
- Remarks on concrete orthomodular lattices
- Symmetric difference on orthomodular lattices and Z₂-valued states.
- The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators.
- Orthocomplemented posets with a symmetric difference
- Orthocomplemented lattices with a symmetric difference
- Representation of complete ortholattices by sets with orthogonality
- Quantum logics that are symmetric-difference-closed
- On locally finite orthomodular lattices
- On identities in orthocomplemented difference lattices
- Orthocomplemented difference lattices with few generators
- Orthocomplemented difference lattices in association with generalized rings
- A symmetric-difference-closed orthomodular lattice that is stateless
- Generalized \(\mathbb{XOR}\) operation and the categorical equivalence of the abbott algebras and quantum logics
- Reichenbach's common cause completeness in symmetric-difference-closed quantum logics
This page was built for publication: On set-representable orthocomplemented difference lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2006986)
