A prevariety of semigroups whose elementary theory is solvable

DOI10.1007/BF02218571MaRDI QIDQ1846860zbMATH OpenFDO

Authors A. P. Zamyatin

Publication date 1975

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

Full work available at URL https://doi.org/10.1007/BF02218571

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 3460261 (Why is no real title available?)
• scientific article; zbMATH DE number 3316928 (Why is no real title available?)
• scientific article; zbMATH DE number 3368687 (Why is no real title available?)
• Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉

Cited in

(1)

• Finitely Decidable Congruence Modular Varieties

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1846860)