The theory of idempotent semigroups is of unification type zero (Q581000): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / review text | |||
An equational theory E is of unification type zero if there exist terms s, t for which there is no minimal complete set of E-unifiers of s, t. The existence of such a theory E was conjectured by Plotkin in 1972. The first example of a theory of this type was constructed by Fage and Huet in 1983. The present paper shows that the theory of idempotent semigroups is of unification type zero. This yields an example of a theory of type zero which is more natural than the example given by Fages and Huet. | |||
| Property / review text: An equational theory E is of unification type zero if there exist terms s, t for which there is no minimal complete set of E-unifiers of s, t. The existence of such a theory E was conjectured by Plotkin in 1972. The first example of a theory of this type was constructed by Fage and Huet in 1983. The present paper shows that the theory of idempotent semigroups is of unification type zero. This yields an example of a theory of type zero which is more natural than the example given by Fages and Huet. / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68T15 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 20M07 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 4018418 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
term rewriting systems | |||
| Property / zbMATH Keywords: term rewriting systems / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
equational theory | |||
| Property / zbMATH Keywords: equational theory / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
unification type zero | |||
| Property / zbMATH Keywords: unification type zero / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
theory of idempotent semigroups | |||
| Property / zbMATH Keywords: theory of idempotent semigroups / rank | |||
Normal rank | |||
Revision as of 17:48, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The theory of idempotent semigroups is of unification type zero |
scientific article |
Statements
The theory of idempotent semigroups is of unification type zero (English)
0 references
1986
0 references
An equational theory E is of unification type zero if there exist terms s, t for which there is no minimal complete set of E-unifiers of s, t. The existence of such a theory E was conjectured by Plotkin in 1972. The first example of a theory of this type was constructed by Fage and Huet in 1983. The present paper shows that the theory of idempotent semigroups is of unification type zero. This yields an example of a theory of type zero which is more natural than the example given by Fages and Huet.
0 references
term rewriting systems
0 references
equational theory
0 references
unification type zero
0 references
theory of idempotent semigroups
0 references
