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:
