Differences

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

pseudo_mv-algebras [2011/07/30 20:21]
jipsen
pseudo_mv-algebras [2011/07/30 20:28] (current)
jipsen
Line 60: Line 60:
^[[Definable principal congruences]]  | | ^[[Definable principal congruences]]  | |
^[[Equationally def. pr. cong.]]  | | ^[[Equationally def. pr. cong.]]  | |
-^[[Amalgamation property]]  |yes |+^[[Amalgamation property]]  |  |
^[[Strong amalgamation property]]  | | ^[[Strong amalgamation property]]  | |
^[[Epimorphisms are surjective]]  | | ^[[Epimorphisms are surjective]]  | |