# Differences

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

de_morgan_algebras [2010/07/29 15:46]
127.0.0.1 external edit
de_morgan_algebras [2012/06/16 02:52] (current)
jipsen
Line 24: Line 24:
$h(x\vee y)=h(x)\vee h(y)$, $h(\neg x)=\neg h(x)$ $h(x\vee y)=h(x)\vee h(y)$, $h(\neg x)=\neg h(x)$
-
====Examples==== ====Examples====
-Example 1: +Example 1: Let $\{0<a,b<1\}$ be the 4-element lattice with $a,b$ incomparable, and define $'$ by $0'=1,a'=a,b'=b$.
+====Basic results====
-====Basic results====+The algebra in Example 1 generates the variety of De Morgan algebras, see e.g. http://www.math.uic.edu/~kauffman/DeMorgan.pdf
====Properties==== ====Properties====
-^[[Classtype]]  |Variety +^[[Classtype]]  |variety
-^[[Equational theory]]  | |+^[[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]]  | |+^[[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====

##### Toolbox 