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====