Cтраница 4
С другой стороны, параллельно теории алгебр логик возникла и стала весьма разветвленной дисциплиной теория алгебр Буля. [46]
Как видно из спецификации, данный абстрактный тип расширяет теорию одноосновных алгебр bool до теории двухосновных алгебр, скажем, natbool. Естественно, лишь первый случай соответствует привычному нам множеству натуральных чисел. [47]
Я думаю, что на самом деле все рефлективные формы тоже очень интересны для теории алгебр Каца-Муди. Другая разница в том, что возникнут мероморфные функции. Мы с Гриценко думаем, что все эти формы тоже важны. Основной результат нашей работы заключается в том, что мы описали все рефлективные формы. [48]
Поскольку теория алгебр Ли имеет теоретико-групповой фундамент, не удивительно, что основные понятия теории алгебр Ли носят теоретико-групповой оттенок. Это нужно все время иметь в виду при изучении алгебр Ли и, в частности, при чтении настоящей главы, содержащей основные понятия, необходимые для той части структурной теории, которая будет развита в II - IV главах. [49]