Differences
This shows you the differences between two versions of the page.
|
de_morgan_algebras [2012/06/15 23:01] 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==== | ||
Trace:
