#777
Счётные булевы алгебры и разрешимость
Год: 1996
Автор: Гончаров С.С.
Жанр: Монография
Издательство: Новосибирск: Научная книга
ISBN: 5-88119-004-1
Серия: Сибирская школа алгебры и логики
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы + слой распознанного текста
Количество страниц: 373
Описание: Третий том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии "Сибирская школа алгебры и логики" под редакцией академика Ю.Л.Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгебры» (Новосибирск, Наука, 1988). Алгебраические основы теории булевых алгебр излагаются на основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов.
Для интересующихся математической логикой и алгеброй.

---