Книга Классификация счётных моделей полных теорий. Часть 2, Сергей Владимирович Судоплатов — скачать онлайн в pdf, epub, fb2, txt бесплатно в электронной библиотеке Fantasy Worlds.
Вы не авторизовались
Войти
Зарегистрироваться
Поиск
Найти

Сергей Владимирович Судоплатов - Классификация счётных моделей полных теорий. Часть 2

Классификация счётных моделей полных теорий. Часть 2
Добавить В библиотекуАвторизуйтесь, чтобы добавить
Оценить:

Рейтинг: 5

Добавить отзывДобавить цитату
Поделиться

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

Добавленo: Рейтинг: 5 Комментариев 0 шт.

Оcтавить отзыв

Другие книги автора

Все книги