Критические теории многообразий полугрупп с перестановочным тождеством - Попов В.Ю.
Попов В.Ю.

Критические теории многообразий полугрупп с перестановочным тождеством

Автор Попов В.Ю.
Издательство Сибирского отделения РАН
Год 2001
Формат PDF
Рейтинг книги
0.00
(оценок < 5)
0 10

Доказано, что произвольное конечно базируемое периодическое многообразие полугрупп, удовлетворяющее перестановочному тождеству, либо имеет пустую границу разрешимости (т. е. его элементарная теория разрешима), либо его граница разрешимости равна {∃∀¬ ∧ ∨}.



X