Identical inclusions of semilattices (Q2182565): Difference between revisions
From MaRDI portal
Removed claims |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Grigory Mashevitzky / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jaak Henno / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00012-020-0649-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3020107232 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4848740 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classification problem for graphs and lattices is wild. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3764356 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Identities valid globally in semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3791363 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4302151 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a finite basis problem for universal positive formulas / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On exclusive semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3043348 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exclusive semigroups / rank | |||
Normal rank |
Latest revision as of 18:52, 22 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Identical inclusions of semilattices |
scientific article |
Statements
Identical inclusions of semilattices (English)
0 references
26 May 2020
0 references
Let \({X^ + }\) be the free semigroup generated by a set \(X\), \(u \in {X^ + }\), \(V \subseteq {X^ + }\). A semigroup \(S\) satisfies an identical inclusion \(u\hat \in V\) iff \((\exists v \in V)(\varphi (u) = \varphi (v))\) for every mapping \(\varphi :X \to S\). An identical inclusion is called elementary if the set \(V\) is finite. Here, the author shows that any identical inclusion of a semilattice is elementary and obtains a complete syntactic, semantic and algorithmic characterization of inclusive varieties of semilattices.
0 references
identical inclusion
0 references
disjunctive identity
0 references
semilattice
0 references