8 (812) 320-06-69

Каталог

Категории
Высшее образование (16+) (39733)
Высшее образование
Естественные науки (2581)
Естественные науки
Общественные науки (3173)
Общественные науки
Информатика и компьютерные технологии (4253)
Информатика и компьютерные технологии
Инженерное дело (1409)
Инженерное дело
Телекоммуникации, электроника, электротехника и радиотехника (1360)
Телекоммуникации, электроника, электротехника и радиотехника
Строительство. Архитектура (634)
Строительство. Архитектура
Строительство. Архитектура. Журналы (17)
Строительство. Архитектура. Журналы
Бетон и железобетон (3)
Бетон и железобетон
Жилищное строительство (7)
Жилищное строительство
Строительные материалы (7)
Строительные материалы
Юридические науки.Право (4332)
Юридические науки.Право
Отрасли права (2771)
Отрасли права
Гуманитарные науки (6046)
Гуманитарные науки
Экономика. Экономические науки (6619)
Экономика. Экономические науки
Образование. Педагогические науки (3351)
Образование. Педагогические науки
Медицина и здравоохранение (954)
Медицина и здравоохранение
Физическая культура и спорт (474)
Физическая культура и спорт
Среднее профессиональное образование (14+) (2819)
Среднее профессиональное образование
Коллекции (43755)
Коллекции
Издательские коллекции (43332)
Издательские коллекции
Журналы (999)
Журналы
Остаться в выбранном разделе
Назад к каталогу

Классификация счётных моделей полных теорий: монография в 2 ч. – Ч.1. – 2-е изд., доп.

Классификация счётных моделей полных теорий: монография в 2 ч. – Ч.1. – 2-е изд., доп. ISBN 978-5-7782-3524-3
ISBN 978-5-7782-3524-3
Авторы: 
Судоплатов С. В.
Тип издания: 
Монография
Издательство: 
Новосибирск: Новосибирский государственный технический университет
Год: 
2018
Количество страниц: 
376
Аннотация

Книга является первой частью монографии «Классификация счётных моделей полных теорий»', состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин–Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т. е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона–Фраисс? и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского–Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории. Для интересующихся математической логикой.

Библиографическое описание Скопировать библиографическое описание

Судоплатов С. В. Классификация счётных моделей полных теорий: монография в 2 ч. – Ч.1. – 2-е изд., доп. / С.В. Судоплатов. - Новосибирск : Новосибирский государственный технический университет, 2018. - 376 с. - ISBN 978-5-7782-3524-3. - URL: https://ibooks.ru/bookshelf/367705/reading (дата обращения: 29.03.2024). - Текст: электронный.