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

Trace: