Cтраница 4
При рассмотрении ( пред) многообразий алгебр предполагалось, что сигнатура всех алгебр фиксирована. Рассмотрим теперь связи между многообразиями алгебр разной сигнатуры. [46]
В девятой главе рассматриваются специализированные алгебры Халмоша. Предполагается, что задано некоторое многообразие алгебр в, и алгебры Халмоша определяются применительно к этому в. Соответствующие алгебры запросов и ответов на запросы учитывают особенности рассматриваемого типа данных. [47]
Кроме того, первичные Г - идеалы описаны Кемером как тождества, которым удовлетворяют алгебры одного из трех совершенно конкретных типов. Эти результаты являются значительным продвижением в проблеме описания многообразий алгебр над полем. [48]