## Properties

This page lists all the properties and their possible values that are currently part of some entry in this database.

Click on a property to get a brief explanation.

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

Classtype variety, quasivariety, universal class, first-order class, second-order class, higher-order class decidable (PTIME, NPTIME, PSPACE, EXPTIME,…), undecidable, unspecified (so far) decidable (PTIME, NPTIME, PSPACE, EXPTIME,…), undecidable, unspecified (so far) decidable (PTIME, NPTIME, PSPACE, EXPTIME,…), undecidable, unspecified (so far) yes, no, unspecified (so far) $\kappa$ (cardinality), finite, unbounded yes, no, unspecified (so far) yes, no, unspecified (so far) yes $n=?$, no, unspecified (so far) yes, no, unspecified (so far) yes, no, unspecified (so far) yes, no, unspecified (so far) permutational (1), abelian (2), Boolean (3), lattice (4), semilattice (5) yes, no, unspecified (so far) yes, no, unspecified (so far) yes, no, unspecified (so far) yes, no, unspecified (so far) yes, no, unspecified (so far) yes, no, unspecified (so far)