Properties

HomePage | RecentChanges | Preferences

Difference (from revision 8 to current revision) (minor diff, author diff)

Changed: 15c15,20

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

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

Changed: 19c24,29

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

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

Changed: 23c33,38

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

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

Changed: 27c42,46

yes, no

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

Changed: 35c54,58

yes, no

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

Changed: 39c62,66

yes, no

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

Changed: 43c70,74

yes n = ?, no

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

Changed: 47c78,82

yes, no

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

Changed: 51c86,90

yes, no

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

Changed: 55c94,98

yes, no

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

Changed: 63c106,110

yes, no

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

Changed: 67c114,118

yes, no

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

Changed: 71c122,126

yes, no

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

Changed: 75c130,134

yes, no

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

Changed: 79c138,142

yes, no

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

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