Decidability of elementary theories of lattices of subsemigroups (Q920966): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q5626645 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5602151 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3848243 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Varieties of groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3856954 / rank
 
Normal rank

Latest revision as of 10:21, 21 June 2024

scientific article
Language Label Description Also known as
English
Decidability of elementary theories of lattices of subsemigroups
scientific article

    Statements

    Decidability of elementary theories of lattices of subsemigroups (English)
    0 references
    0 references
    1990
    0 references
    Let \({\mathcal E}\) be an elementary language, Sub be the operator of taking the lattices of subsemigroups. The variety of semigroups \({\mathcal M}\) is said to be \({\mathcal E} Sub\)-solvable if the elementary theory \({\mathcal E} Sub {\mathcal M}\) of the class Sub \({\mathcal M}=\{Sub A|\) \(A\in {\mathcal M}\}\) is solvable. The main result of the paper is: Theorem. The variety of semigroups \({\mathcal M}\) is \({\mathcal E} Sub\)-solvable iff \({\mathcal M}\subset [xyz=xz]\) or \({\mathcal M}\subseteq [xyz=x]\) \([x^ ny=y\), \(xy=yx]\) for some \(n\geq 1\).
    0 references
    solvability
    0 references
    lattices of subsemigroups
    0 references
    variety of semigroups
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references