algebra universalis

, Volume 52, Issue 4, pp 487–494 | Cite as

The equational theory of a nontrivial discriminator variety is co-NP-hard

Original Paper


Discriminator varieties play a central role in the classification of decidable varieties; and they arise naturally in the study of algebraic logics. There are also important connections with the reduction of theorem proving to equational logic. In this paper we show, for any nontrivial discriminator variety, that the problem of determining if an equation holds in the variety is co-NP-hard.

Mathematics Subject Classification (2000).

08B05 03D15 

Key words and phrases.

Equational theory discriminator variety complexity 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag, Basel 2004

Authors and Affiliations

  1. 1.Dept. of Pure MathematicsUniversity of WaterlooWaterlooCanada

Personalised recommendations