Новосибирск: Научная книга, 1996, — 364 с., — (Сибирская школа
алгебры
логики).
Третий том учрежденной в 1995 г. Сибирским фондом алгебры логики математической книжной серии «Сибирская школа алгебры логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгебры» (Новосибирск, Hayка, 1988). Алгебраические основы теории булевых алгебр излагаются основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов.
Для интересующихся математической логикой и алгеброй.
логики).
Третий том учрежденной в 1995 г. Сибирским фондом алгебры логики математической книжной серии «Сибирская школа алгебры логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгебры» (Новосибирск, Hayка, 1988). Алгебраические основы теории булевых алгебр излагаются основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов.
Для интересующихся математической логикой и алгеброй.