Подробное описание документа

Гончаров С. С.
   Счетные булевы алгебры / Гончаров С. С. ; АН СССР, СО, Институт математики ; отв. ред. Ершов Ю. Л. - Новосибирск : Наука, СО, 1988. - 175 с. - Библиогр.: с. 171-174. - ISBN 5-02-028628-1.

Главный объект исследования монографии — алгебраические, теоретико-модельные и алгоритмические свойства булевых алгебр. Изучение, алгебраических свойств базируется на двух фундаментальных фактах: теореме Стоуна и критерии изоморфизма Воота. Используются также методы деревьев и линейноупорядоченных базисов. На основе метода насыщенных моделей получена характеризация Ершова — Тарского элементарных теорий булевых алгебр и модельная полнота. Описываются методы конструирования булевых алгебр с заданными алгоритмическими свойствами.
Для научных работников, аспирантов, студентов, занимающихся или интересующихся проблемами математической логики, теории алгоритмов и алгебры, а также для желающих познакомиться с основами теории булевых алгебр и некоторыми современными направлениями ее развития.