Critical theories of varieties of semigroups satisfying a permutation identity

DOI10.1023/A:1004805912924zbMath0966.03009MaRDI QIDQ5932632

V. Yu. Popov

Publication date: 10 June 2001

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

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

zbMATH Keywords

critical theory; decidable theory; hierarchy of languages

Mathematics Subject Classification ID

20M07: Varieties and pseudovarieties of semigroups

03B25: Decidability of theories and sets of sentences