Попов В. Ю.
Критические теории многообразий полугрупп с перестановочным тождеством
Popov V. Yu.
Critical theories of varieties of semigroups satisfying a permutation identity

Доказано, что произвольное конечно базируемое периодическое многообразие полугрупп, удовлетворяющее перестановочному тождеству, либо имеет пустую границу разрешимости (т. е. его элементарная теория разрешима), либо его граница разрешимости равна $\{ \exists \forall \neg \wedge \vee \}$.

Полный текст статьи / Full texts:

• PDF file (270 KB)
• PostScript file (514 KB)