Аннотация:
Стройные частичные порядки (англ. well-partial orderings) можно описать как такие порядки, в которых нет ни бесконечных убывающих цепей, ни бесконечных антицепей. Они естественно возникают и применяются в комбинаторике, алгебре и, конечно, математической логике и информатике. Мы изложим введение в теорию стройных (пред)порядков и дадим обзор некоторых результатов о независимых утверждениях комбинаторного характера, определяемых на их основе.
Обратная связь: