URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Ершов Ю.Л. Проблемы разрешимости и конструктивные модели
Id: 17638
 

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

1980. 416 с. Твердый переплет. Букинист. Состояние: 4. Есть погашенная библиотечная печать; в суперобложке. Суперобложка немного потерта по краям.
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

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


 Оглавление

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

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

Литература

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

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

 
© URSS 2016.

Информация о Продавце