[Home]Properties

HomePage | RecentChanges | Preferences
Difference (from revision 13 to current revision) (minor diff, author diff)

Changed: 19c19
[unspecified (so far)]
[unspecified (so far)]

Changed: 28c28
[unspecified (so far)]
[unspecified (so far)]

Changed: 37c37
[unspecified (so far)]
[unspecified (so far)]

Changed: 42c42,46

yes, no


[yes],
[no],
[unspecified (so far)]

Changed: 50c54,58

yes, no


[yes],
[no],
[unspecified (so far)]

Changed: 54c62,66

yes, no


[yes],
[no],
[unspecified (so far)]

Changed: 58c70,74

yes n = ?, no


[yes] n = ?,
[no],
[unspecified (so far)]

Changed: 62c78,82

yes, no


[yes],
[no],
[unspecified (so far)]

Changed: 66c86,90

yes, no


[yes],
[no],
[unspecified (so far)]

Changed: 70c94,98

yes, no


[yes],
[no],
[unspecified (so far)]

Changed: 78c106,110

yes, no


[yes],
[no],
[unspecified (so far)]

Changed: 82c114,118

yes, no


[yes],
[no],
[unspecified (so far)]

Changed: 86c122,126

yes, no


[yes],
[no],
[unspecified (so far)]

Changed: 90c130,134

yes, no


[yes],
[no],
[unspecified (so far)]

Changed: 94c138,142

yes, no


[yes],
[no],
[unspecified (so far)]

Changed: 98c146,150

yes, no


[yes],
[no],
[unspecified (so far)]
This page lists all the properties and their possible values that are currently part of some entry in this database.

Click on the value of a property to see all classes that mention this property with the selected value.

Use the 'Edit text of this page' link to add a new value or property to this list, and then also add it to the relevant database entries.

Properties

Classtype variety, quasivariety, universal class, first-order class, second-order class, higher-order class
Equational 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)]
Locally finite [yes], [no], [unspecified (so far)]
Residual size κ (cardinality), finite, unbounded
Congruence distributive [yes], [no], [unspecified (so far)]
Congruence modular [yes], [no], [unspecified (so far)]
Congruence n-permutable [yes] n = ?, [no], [unspecified (so far)]
Congruence regular [yes], [no], [unspecified (so far)]
Congruence e-regular [yes], [no], [unspecified (so far)]
Congruence uniform [yes], [no], [unspecified (so far)]
Congruence types permutational (1), abelian (2), Boolean (3), lattice (4), semilattice (5)
Congruence extension property [yes], [no], [unspecified (so far)]
Definable principal congruences [yes], [no], [unspecified (so far)]
Equationally definable principal congruences [yes], [no], [unspecified (so far)]
Amalgamation property [yes], [no], [unspecified (so far)]
Strong amalgamation property [yes], [no], [unspecified (so far)]
Epimorphisms are surjective [yes], [no], [unspecified (so far)]
HomePage | RecentChanges | Preferences
This page is read-only | View other revisions
Last edited April 18, 2003 2:44 pm (diff)
Search: