| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Двухдневная осенняя школа «Современные направления математической логики»
|
|||
|
|
|||
|
Стройные порядки и независимые комбинаторные утверждения. Лекция 2 Л. Д. Беклемишев Математический институт им. В.А. Стеклова Российской академии наук, г. Москва |
|||
|
Аннотация: Стройные частичные порядки (англ. well-partial orderings) можно описать как такие порядки, в которых нет ни бесконечных убывающих цепей, ни бесконечных антицепей. Они естественно возникают и применяются в комбинаторике, алгебре и, конечно, математической логике и информатике. Мы изложим введение в теорию стройных (пред)порядков и дадим обзор некоторых результатов о независимых утверждениях комбинаторного характера, определяемых на их основе. |
|||