A prevariety of semigroups whose elementary theory is solvable

DOI10.1007/BF02218571zbMath0289.02034MaRDI QIDQ1846860

A. P. Zamyatin

Publication date: 1975

Published in: Algebra and Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Varieties (08B99) Semigroups (20M99)

Related Items (1)

Finitely Decidable Congruence Modular Varieties

Cites Work

• Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A prevariety of semigroups whose elementary theory is solvable