RUS  ENG
Полная версия
СЕМИНАРЫ

Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
24 февраля 2025 г. 16:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн


Об отношениях между предпорядками Рудин – Кейслера и Комфорта, часть I

Д. И. Савельев

Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл.



Аннотация: По совместной работе с Н. Л. Поляковым.
При рассмотрении канонических ультрарасширений многоместных операций естественно возникают отношения на ультрафильтрах, обобщающие классический предпорядок Рудин – Кейслера (задающийся одноместными операциями). Возрастающую цепь этих отношений можно продолжить трансфинитно. Оказывается, что объединение всех полученных отношений даёт другое хорошо известное отношение на ультрафильтрах – предпорядок Комфорта. Будет показано, как вычисляется композиция этих отношений; как следствие, будет установлено, что отношение является предпорядком тогда, и только тогда, когда его индекс является мультипликативно неразложимым ординалом. Также будут представлены некоторые теоретико-модельные приложения, значительно обобщающие ранее известные результаты.


© МИАН, 2025