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> |
Trace: