Properties

HomePage | RecentChanges | Preferences

Difference (from prior author revision) (major diff, minor diff)

Added: 2a3,4

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

Changed: 8c10,11

variety, quasivariety, universal class, first-order class, second-order class, higher-order class

variety, quasivariety, universal class,
first-order class, second-order class, higher-order class

Changed: 12c15,20

decidable (PTIME, NPTIME, PSPACE, EXPTIME,...), undecidable

[decidable]
(PTIME, NPTIME, PSPACE, EXPTIME,...),
[undecidable],
[unspecified (so far)]

Changed: 16c24,29

decidable (PTIME, NPTIME, PSPACE, EXPTIME,...), undecidable

[decidable]
(PTIME, NPTIME, PSPACE, EXPTIME,...),
[undecidable],
[unspecified (so far)]

Changed: 20c33,38

decidable (PTIME, NPTIME, PSPACE, EXPTIME,...), undecidable

[decidable]
(PTIME, NPTIME, PSPACE, EXPTIME,...),
[undecidable],
[unspecified (so far)]

Changed: 24c42,46

yes, no

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

Changed: 32c54,58

yes, no

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

Changed: 36c62,66

yes, no

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

Changed: 40c70,74

yes n = ?, no

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

Changed: 44c78,82

yes, no

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

Changed: 48c86,90

yes, no

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

Changed: 52c94,98

yes, no

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

Changed: 60c106,110

yes, no

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

Changed: 64c114,118

yes, no

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

Changed: 68c122,126

yes, no

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

Changed: 72c130,134

yes, no

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

Changed: 76c138,142

yes, no

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

Changed: 80c146,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)]