Квазимногообразия коммутативных колец
Работа посвящена вопросам неразрешимости квазиэквациональных теорий и проблеме конечной аксиоматизируемости. В 1966 году Тарский озвучил следующую проблему: Существует ли алгоритм, определяющий является ли эквациональная теория конечного множества конечных алгебр конечно аксиоматизируемой? В 1986...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Al-Farabi Kazakh National University
2018-08-01
|
| Series: | Вестник КазНУ. Серия математика, механика, информатика |
| Subjects: | |
| Online Access: | https://bm.kaznu.kz/index.php/kaznu/article/view/485/387 |