URSS.ru Магазин научной книги
Обложка Ершов Ю.Л. Проблемы разрешимости и конструктивные модели Обложка Ершов Ю.Л. Проблемы разрешимости и конструктивные модели
Id: 17638
3299 р.

Проблемы разрешимости и конструктивные модели

1980. 416 с. Букинист. Состояние: 5-. Суперобложка: 4 .
  • Твердый переплет

Аннотация

В книге излагаются основные методы доказательства разрешимости и неразрешимости элементарных теорий. Подробно изучаются теории таких интересных объектов, как булевы алгебры, абелевы группы, нормированные поля. Изложение этой части книги содержит весь необходимый алгебраический материал, представляющий и самостоятельный интерес. Вторая основная тема книги — конструктивные модели — тесно связана с первой. Основные изучаемые проблемы: существование... (Подробнее)


Оглавление
top

Предисловие Введение

Глава 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. Конструктивные булевы алгебры

Литература

Указатель обозначений

Предметный указатель