В книге излагаются основные методы доказательства разрешимости и неразрешимости элементарных теорий. Подробно изучаются теории таких интересных объектов, как булевы алгебры, абелевы группы, нормированные поля. Изложение этой части книги содержит весь необходимый алгебраический материал, представляющий и самостоятельный интерес. Вторая основная тема книги — конструктивные модели — тесно связана с первой. Основные изучаемые проблемы: существование конструктивных моделей для теорий, существование конструктивизаций у заданной алгебры (модели), вопросы единственности и продолжения конструктивизаций. Книга рассчитана на широкий круг математиков, интересующихся современными исследованиями в алгебре и математической логике. Она доступна также студентам старших курсов математических факультетов университетов.
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.