Название: Счетные булевы алгебры и разрешимость
Автор: Гончаров С.С.
Издательство: Научная книга
Год: 1996
Формат: pdf
Страниц: 373
Размер: 11,64 Мб
Язык: русский

Алгебраические основы теории булевых алгебр излагаются основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов.