Publication:3942933

zbMath0484.03002MaRDI QIDQ3942933

L. P. Lisovik

Publication date: 1981

zbMATH Keywords

definability; elementary theory; finitely defined commutative semigroup

Mathematics Subject Classification ID

20M14: Commutative semigroups

03B25: Decidability of theories and sets of sentences

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)