Гончаров С., Счетные булевы алгебры и разрешимость.
Серия: Сибирская школа алгебры и логики

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