Differences

This shows you the differences between two versions of the page.

mv-algebras [2016/11/23 14:17]
jipsen
mv-algebras [2018/10/20 08:48] (current)
jipsen
Line 99: Line 99:
^[[Classtype]]  |variety | ^[[Classtype]]  |variety |
^[[Equational theory]]  |decidable | ^[[Equational theory]]  |decidable |
-^[[Universal theory]]  |decidable |+^[[Universal theory]]  |decidable (FEP[(BF2000)])|
^[[First-order theory]]  | | ^[[First-order theory]]  | |
^[[Locally finite]]  |no | ^[[Locally finite]]  |no |
Line 138: Line 138:
====References==== ====References====
 +
 +[(BF2000>
 +W. J. Blok, I. M. A. Ferreirim,
 +\emph{On the structure of hoops},
 +Algebra Universalis,
 +\textbf{43} 2000, 233--257)]
[(BP1994> [(BP1994>