Skip to main content
Log in

On Set-Representable Orthocomplemented Difference Lattices

  • Published:
Order Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Dorfer, G., Dvurečenskij, A., Länger, H.M.: Symmetric difference in orthomodular lattices. Math. Slovaca 46, 435–444 (1996)

    MathSciNet  MATH  Google Scholar 

  2. Dorfer, G.: Non-commutative symmetric differences in orthomodular lattices. Int. J. Theor. Phys. 44, 885–896 (2005)

    Article  Google Scholar 

  3. 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)

    Article  MathSciNet  Google Scholar 

  4. Harding, J.: Remarks on Concrete Orthomodular Lattices. Int. J. Theor. Phys. 43, 2149–2168 (2004)

    Article  MathSciNet  Google Scholar 

  5. Kalmbach, G.: Orthomodular lattices. Academic Press, London (1983)

    MATH  Google Scholar 

  6. Matoušek, M.: Orthocomplemented lattices with a symmetric difference. Algebra Universalis 60, 185–215 (2009)

    Article  MathSciNet  Google Scholar 

  7. Matoušek, M., Pták, P.: Orthocomplemented posets with a symmetric difference. Order 26, 1–21 (2009)

    Article  MathSciNet  Google Scholar 

  8. Matoušek, M., Pták, P.: Symmetric difference on orthomodular lattices and Z2-valued states. Comment. Math. Univ. Carol. 50(4), 535–547 (2009)

    MATH  Google Scholar 

  9. Matoušek, M., Pták, P.: On identities in orthocomplemented difference lattices. Mathematica Slovaca 60, 583–590 (2010)

    Article  MathSciNet  Google Scholar 

  10. Matoušek, M., Pták, P.: Orthocomplemented difference lattices with few generators. Kybernetica 47, 60–73 (2011)

    MathSciNet  MATH  Google Scholar 

  11. 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)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jianning Su.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11083-020-09522-7

Keywords

Navigation