Ершов Ю., Проблемы разрешимости и конструктивные модели
Серия "Математическая логика и основания математики"

1980, изд-во: Наука. Главная редакция физико-математической литературы, город: Москва, стр. : 416 с., обложка: Издательский переплет с суперобложкой, формат: Обычный, состояние: Очень хорошее (суперобложка с потертостями). В книге излагаются основные методы доказательства разрешимости и неразрешимости элементарных теорий. Подробно изучаются теории таких интересных объектов, как булевы алгебры, абелевы группы, нормированные поля. Изложение этой части книги содержит весь необходимый алгебраический материал, представляющий и самостоятельный интерес. Вторая основная тема книги - конструктивные модели - тесно связана с первой. Основные изучаемые проблемы: существование конструктивных моделей для теорий, существование конструктивизаций у заданной алгебры (модели), вопросы единственности и продолжения конструктивизаций. Книга рассчитана на широкий круг математиков, интересующихся современными исследованиями в алгебре и математической логике. Она доступна также студентам старших курсов математических факультетов университетов