[Home]Properties

HomePage | RecentChanges | Preferences

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: