scientific article; zbMATH DE number 1746555

MaRDI QIDQ4532124zbMATHFDO

Authors Vladimir Popov

Publication date 28 May 2002

Full work available at URL https://eudml.org/doc/49370

zbMATH Keywords

coveringsequational theoriesfinitely based varietiesvarieties of semigroups

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Lattices of varieties (08B15) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07)

Recommendations

• Equational theories for classes of finite semigroups
• scientific article; zbMATH DE number 3857194
• On the equational theories of semigroup varieties
• scientific article; zbMATH DE number 989181
• scientific article; zbMATH DE number 3933343

Cited in

(16)

• IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
• Non-covering in the interpretability lattice of equational theories
• Decidability of the elementary theory of universal semifields of the second kind
• Algebras defined by equations
• Finite semigroups whose varieties have uncountably many subvarieties
• scientific article; zbMATH DE number 4179358 (Why is no real title available?)
• Decidability of equational theories for subsignatures of relation algebra
• Separability and decidability results for varieties of Jónsson dynamic algebras
• Covering relation for equational theories of commutative semigroups
• Decidability of the representation extension property for finite semigroups
• Flat algebras and the translation of universal Horn logic to equational logic
• The equational theory of a nontrivial discriminator variety is co-NP-hard
• Compactness of Systems of Equations in Semigroups
• scientific article; zbMATH DE number 1522669 (Why is no real title available?)
• A delay theorem for pointlikes
• Some decidable theories with finitely many covers which are decidable and algorithmically found

This page was built for publication:

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