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]] | | | ||
Trace:
