On the equational theory of finite modular lattices
Abstract
It is shown that the equational theory of modular lattices is undecidable
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2024
- DOI:
- 10.48550/arXiv.2406.04237
- arXiv:
- arXiv:2406.04237
- Bibcode:
- 2024arXiv240604237H
- Keywords:
-
- Mathematics - Logic;
- 06C05;
- 03D40;
- 06B25