Second order conservative languages with a Maltsev polymorphism also have a majority polymorphism
Abstract: 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.