Попов В. Ю.
О конечной базируемости многообразий полугрупп

Не существует алгоритма, определяющего по произвольной рекурсивной системе полугрупповых тождеств, будет ли многообразие, заданное этой системой, конечно базируемо.

Popov V. Yu.
On the finite basis property for semigroup varieties

No algorithm determines from an arbitrary recursive system of semigroup identities whether the variety defined by this system is finitely based.

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

• PDF file (386 KB)
• PostScript file (808 KB)