|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Попов В. Ю. Критические теории многообразий полугрупп с перестановочным тождеством //
Том 42 (2001), Номер 1,
стр. 153155
Доказано, что произвольное конечно базируемое периодическое многообразие полугрупп, удовлетворяющее перестановочному тождеству, либо имеет пустую границу разрешимости (т.~е. его элементарная теория разрешима), либо его граница разрешимости равна $\{ \exists \forall \neg \wedge \vee \}$. Библиогр.~7.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|