A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups

zbMath1358.20050arXiv1310.5023MaRDI QIDQ2816505

Inna Mikhaylova

Publication date: 23 August 2016

Full work available at URL: https://arxiv.org/abs/1310.5023

zbMATH Keywords

decidabilityequational theoryepigrouppseudovarietyaperiodic semigroup

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Word problems (aspects of algebraic structures) (08A50)

Related Items (3)

Endomorphisms of the lattice of epigroup varieties ⋮ Cores and optimal fuzzy communication structures of fuzzy games ⋮ Blocks of epigroups

This page was built for publication: A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups