Differences

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