Second order conservative languages with a Maltsev polymorphism also have a majority polymorphism
Evgeniy Vodolazskiy
所有作者
Evgeniy Vodolazskiy
文献摘要
The paper proves that for any second order conservative constraint language
with a Maltsev polymorphism there is a majority polymorphism. Moreover, the
majority polymorphism can be defined by the Maltsev polymorphism.