Differences
This shows you the differences between two versions of the page.
de_morgan_algebras [2012/06/15 22:32] jipsen |
de_morgan_algebras [2012/06/16 02:52] (current) jipsen |
||
---|---|---|---|
Line 31: | Line 31: | ||
====Properties==== | ====Properties==== | ||
- | ^[[Classtype]] |Variety | | + | ^[[Classtype]] |variety | |
- | ^[[Equational theory]] |Decidable | | + | ^[[Equational theory]] |decidable | |
^[[Quasiequational theory]] | | | ^[[Quasiequational theory]] | | | ||
^[[First-order theory]] | | | ^[[First-order theory]] | | | ||
- | ^[[Congruence distributive]] |Yes | | + | ^[[Congruence distributive]] |yes | |
- | ^[[Congruence modular]] |Yes | | + | ^[[Congruence modular]] |yes | |
^[[Congruence n-permutable]] | | | ^[[Congruence n-permutable]] | | | ||
^[[Congruence regular]] | | | ^[[Congruence regular]] | | | ||
^[[Congruence uniform]] | | | ^[[Congruence uniform]] | | | ||
- | ^[[Congruence extension property]] |Yes | | + | ^[[Congruence extension property]] |yes | |
^[[Definable principal congruences]] | | | ^[[Definable principal congruences]] | | | ||
^[[Equationally def. pr. cong.]] | | | ^[[Equationally def. pr. cong.]] | | | ||
Line 46: | Line 46: | ||
^[[Strong amalgamation property]] | | | ^[[Strong amalgamation property]] | | | ||
^[[Epimorphisms are surjective]] | | | ^[[Epimorphisms are surjective]] | | | ||
- | ^[[Locally finite]] | | | + | ^[[Locally finite]] |yes | |
^[[Residual size]] | 4 | | ^[[Residual size]] | 4 | | ||
====Finite members==== | ====Finite members==== | ||
Line 53: | Line 53: | ||
f(1)= &1\\ | f(1)= &1\\ | ||
f(2)= &1\\ | f(2)= &1\\ | ||
- | f(3)= &2\\ | + | f(3)= &1\\ |
- | f(4)= &\\ | + | f(4)= &3\\ |
- | f(5)= &\\ | + | f(5)= &1\\ |
- | f(6)= &\\ | + | f(6)= &4\\ |
- | f(7)= &\\ | + | f(7)= &2\\ |
- | f(8)= &\\ | + | f(8)= &9\\ |
- | f(9)= &\\ | + | f(9)= &5\\ |
- | f(10)= &\\ | + | f(10)= &14\\ |
\end{array}$ | \end{array}$ | ||
====Subclasses==== | ====Subclasses==== | ||
- | [[Boolean algebras]] | + | [[Kleene logic algebras]] |
====Superclasses==== | ====Superclasses==== |
Trace: