Математическая логика

Список источников >Математика >Алгебра >Математическая логика >

Счетные булевы алгебры и разрешимость

Автор: Гончаров С.С.
Год: 1996
Издание:

Страниц: [не указано]
ISBN: [не указан]
Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгебры» (Новосибирск, Наука, 1988). Алгебраические основы теории булевых алгебр излагаются на основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов. Для интересующихся математической логикой и алгеброй.
Добавлено: 2009-08-09 01:26:36

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы