# Differences

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

de_morgan_algebras [2012/06/15 22:40]
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]]  |Yes |+^[[Locally finite]]  |yes |
^[[Residual size]]  | 4 | ^[[Residual size]]  | 4 |
====Finite members==== ====Finite members====
Line 64: Line 64:
====Subclasses==== ====Subclasses====
-[[Boolean algebras]] +[[Kleene logic algebras]]
====Superclasses==== ====Superclasses====

##### Toolbox 