Чтение online
Недоступно
Рейтинг издания
Поделиться:

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

Издательство:
Новосибирский государственный технический университет
Авторы:
Судоплатов С.В.
Год издания:
2018
ISBN:
978-5-7782-3524-3 (ч.1), 978-5-7782-3523-6
Тип издания:
монография
DOI:

Об издании

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

Библиографическая запись

Судоплатов, С. В. Классификация счётных моделей полных теорий в 2 частях. Ч.1 : монография / С. В. Судоплатов. — 2-е изд. — Новосибирск : Новосибирский государственный технический университет, 2018. — 376 c. — ISBN 978-5-7782-3524-3 (ч.1), 978-5-7782-3523-6. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/91735.html (дата обращения: 18.04.2023). — Режим доступа: для авторизир. пользователей

РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ

Этот сайт использует «cookies». Условия использования «cookies» см. в Пользовательском соглашении. Также сайт использует инструменты для сбора технических данных касательно посетителей с целью получения маркетинговой и статистической информации. Условия обработки данных посетителей сайта см. в Политике конфиденциальности. В случае несогласия с обработкой данных, просим покинуть сайт Принять условия