# Differences

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

properties [2010/06/15 23:38]
jipsen
properties [2010/06/15 23:41] (current)
jipsen
Line 8: Line 8:
^[[Classtype]]                                    |[[varieties|variety]], [[quasivarieties|quasivariety]], [[universal classes|universal class]], [[first-order classes|first-order class]], [[second-order classes|second-order class]], higher-order class | ^[[Classtype]]                                    |[[varieties|variety]], [[quasivarieties|quasivariety]], [[universal classes|universal class]], [[first-order classes|first-order class]], [[second-order classes|second-order class]], higher-order class |
-^[[Equational theory]]                            |decidable (PTIME, NPTIME, PSPACE, EXPTIME,...), undecidable, unspecified (so far)] +^[[Equational theory]]                            |decidable (PTIME, NPTIME, PSPACE, EXPTIME,...), undecidable, unspecified (so far) |
-^[[Quasiequational theory]]                       |decidable (PTIME, NPTIME, PSPACE, EXPTIME,...), undecidable, unspecified (so far)] +^[[Quasiequational theory]]                       |decidable (PTIME, NPTIME, PSPACE, EXPTIME,...), undecidable, unspecified (so far) |
-^[[First-order theory]]                           |decidable (PTIME, NPTIME, PSPACE, EXPTIME,...), undecidable, unspecified (so far)] |+^[[First-order theory]]                           |decidable (PTIME, NPTIME, PSPACE, EXPTIME,...), undecidable, unspecified (so far) |
^[[Locally finite]]                               |yes, no, unspecified (so far) | ^[[Locally finite]]                               |yes, no, unspecified (so far) |
^[[Residual size]]                                | $\kappa$ (cardinality), finite, unbounded | ^[[Residual size]]                                | $\kappa$ (cardinality), finite, unbounded |
Line 22: Line 22:
^[[Congruence extension property]]                |yes, no, unspecified (so far) | ^[[Congruence extension property]]                |yes, no, unspecified (so far) |
^[[Definable principal congruences]]              |yes, no, unspecified (so far) | ^[[Definable principal congruences]]              |yes, no, unspecified (so far) |
-^[[Equationally definable principal congruences|Equationally def. pr. cong.]] |yes, no, unspecified (so far) |+^[[Equationally def. pr. cong.]]                 |yes, no, unspecified (so far) |
^[[Amalgamation property]]                        |yes, no, unspecified (so far) | ^[[Amalgamation property]]                        |yes, no, unspecified (so far) |
^[[Strong amalgamation property]]                 |yes, no, unspecified (so far) | ^[[Strong amalgamation property]]                 |yes, no, unspecified (so far) |
^[[Epimorphisms are surjective]]                  |yes, no, unspecified (so far) | ^[[Epimorphisms are surjective]]                  |yes, no, unspecified (so far) |