Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Some remarks on lattices of equivalences
Christian Herrmann
We review principal results on axiomatizability of classes of lattices of equivalences
math.LO2025
On the equational theory of finite modular lattices
Christian Herrmann
It is shown that there is such that there is no algorithm to decide for identities in at most variables validity in the class of finite modular lattices. This is based on S…