RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары





Для просмотра файлов Вам могут потребоваться








«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
19 апреля 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ
 


Системы ординальных обозначений в иерархии Кукаля

Ф. Н. Пахомов

Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

Количество просмотров:
Эта страница:60

Аннотация: Иерархия Кукаля — это широкий класс графов, обладающих разрешимыми монадическими теориями. Как было показано Л. Бро и А. Караелем, любой полный линейный порядок, монадически определимый в некотором графе из иерархии Кукаля, имеет порядковый тип меньший $\varepsilon_0$ и притом $\varepsilon_0$ является точной верхней гранью таких порядковых типов. Любой полный линейный порядок, указанного выше вида, может рассматриваться, как конструктивная система ординальных обозначений. В докладе эти системы ординальных обозначений рассматриваются с точки зрения их возможных применений в теории доказательств. Будет рассказано о некоторых соотношениях между системами ординальных обозначений из иерархии Кукаля и обычной канторовской системой ординальных обозначений до ординала $\varepsilon_0$. Для получения этих соотношений были изучены некоторые свойства систем фундаментальных последовательностей.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021