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

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

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

Рейтинг: 0

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

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

Добавленo: Рейтинг: Будь первым, кто оценит книгу Комментариев 0 шт.

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