Abstract
Matoušek introduced and axiomatized a notion of symmetric difference for orthocomplemented lattices (OMLs) called the orthocomplemented difference lattics (ODLs). We focus on the class of all ODLs that are set-representable and prove that this class is not locally finite by constructing an infinite three-generated set-representable ODL. This result answers a question posed by Matoušek and Pták. We also prove, by example, that not every concrete OML can be OML-embedded into an ODL.
Similar content being viewed by others
References
Dorfer, G., Dvurečenskij, A., Länger, H.M.: Symmetric difference in orthomodular lattices. Math. Slovaca 46, 435–444 (1996)
Dorfer, G.: Non-commutative symmetric differences in orthomodular lattices. Int. J. Theor. Phys. 44, 885–896 (2005)
Harding, J.: The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators. Algebra Universalis 48, 171–182 (2002)
Harding, J.: Remarks on Concrete Orthomodular Lattices. Int. J. Theor. Phys. 43, 2149–2168 (2004)
Kalmbach, G.: Orthomodular lattices. Academic Press, London (1983)
Matoušek, M.: Orthocomplemented lattices with a symmetric difference. Algebra Universalis 60, 185–215 (2009)
Matoušek, M., Pták, P.: Orthocomplemented posets with a symmetric difference. Order 26, 1–21 (2009)
Matoušek, M., Pták, P.: Symmetric difference on orthomodular lattices and Z2-valued states. Comment. Math. Univ. Carol. 50(4), 535–547 (2009)
Matoušek, M., Pták, P.: On identities in orthocomplemented difference lattices. Mathematica Slovaca 60, 583–590 (2010)
Matoušek, M., Pták, P.: Orthocomplemented difference lattices with few generators. Kybernetica 47, 60–73 (2011)
Park, E., Kim, M.M., Chung, J.Y.: A note on symmetric differences of orthomodular lattices. Commun. Korean Math. Soc. 18(2), 207–214 (2003)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Su, J. On Set-Representable Orthocomplemented Difference Lattices. Order 37, 621–636 (2020). https://doi.org/10.1007/s11083-020-09522-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-020-09522-7