Предисловие Введение Глава 1 Элементы теории алгебраических систем § 1. Алгебраические системы и модели § 2. Конструкции § 3. Элементарная эквивалентность § 4. Полные теории § 5. Однородные и насыщенные модели Глава 2 Дистрибутивные решетки с относительными дополнениями § 1. Решетки, дистрибутивные решетки § 2. Дистрибутивные решетки с относительными дополнениями. Категория ?>0 § 3. Линейный базис. Суператомные решетки § 4. Элементарная классификация решеток из ® Глава 3 Абелевы группы § 1. Абелевы группы § 2. Функторы П„ и П § 3. Алгебраически компактные группы § 4. Яр-группы § 5. Элементарная классификация абелевых групп § 6. Линейно упорядоченные абелевы группы Глава 4 Нормированные поля § 1. Поля § 2. Кольца нормирования § 3. Расширения Галуа и кольца нормирования § 4. Гензелевы кольца нормирования. Гензелизация
§ 5. Нормирования
§ 6. Непосредственные расширения
§ 7. Расширения поля вычетов и группы нормирования
§ 8. Элементарная эквивалентность гензелевых полей
§ 9. Разложение нормирований и элементарная теория -поля р-адических чисел
Глава 5
Разрешимые и неразрешимые теории
§ 1. Методы доказательства разрешимости и неразрешимости теорий
§ 2. Одноместные предикаты
§ 3. Дистрибутивные решетки
§ 4. Группы
§ 5. Поля
Глава 6
Конструктивные модели
§ 1. Начала теории (основные проблемы)
§ 2. Некоторые необходимые (достаточные) условия существования конструктивных моделей
§ 3. Теорема о ядре и ее следствия
§ 4. Скулемовские функции и теории с конечными препятствиями
§ 5. Сильно конструктивизируемые модели
§ 6. Конструктивные булевы алгебры
Литература
Указатель обозначений
Предметный указатель
|