Барвайс Дж. Справочная книга по математической логике: В 4-х частях. Ч.I. Теория моделей

М.: Наука. Главная редакции физико-математической литературы, 1982. — 392 с. Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в которых рассматриваются более специальные вопросы, а также приложения математической логики. Каждая глава написана для тех, кто не является специалистом в данной области. Издание рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики. Оглавление. Часть 1 От издательства
Предисловие Дж. Барвайса
Предисловие редакторов русского перевода
Введение
Введение в логику первого порядка
Основы теории моделей
Теория ультрапроизведения для алгебраистов.
Модельная полнота.
Однородные множества.
Инфинитезимальный анализ кривых и поверхностей.
Допустимые множества и бесконечная логика.
Cпeктp и структура моделей полных теорий.
Предметный указатель