Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


ЭБС IPRBooks- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=генерическая теория<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 91736
Автор(ы) : Судоплатов С. В.
Заглавие : Классификация счётных моделей полных теорий в 2 частях. Ч.2 : Монография
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :452 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3525-0 (ч.2), 978-5-7782-3523-6: Б.ц.
УДК : 510.67
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): генерическая теория--классификация моделей--математическая логика--полная теория--предпорядок рудин-кейслера--предранговая функция--проблема гончарова-миллара--проблема лахлана--счётная модель
Аннотация: Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин-Кейслера в этих теориях; решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов. Для интересующихся математической логикой.
(для доступа требуется авторизация)

Найти похожие

 
Статистика
за 04.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)