On the equational theory of finite modular lattices

Christian Herrmann

It is shown that there is $N$ such that there is no algorithm to decide for identities in at most $N$ variables validity in the class of finite modular lattices. This is based on S…