迈向更好：关于 better-quasi-orders 的有动机引论
逻辑
2024-10-18 v2 组合数学
摘要
良拟序 (WQO) 在计算机科学、逻辑或图论等多个领域扮演重要角色。由于 WQO 类在某些重要运算下缺乏封闭性，证明某个拟序是 WQO 通常在于证明它满足一个更强且更复杂的属性，即它是 better-quasi-order (BQO)。若干文章包含了关于 BQO 理论的宝贵引论材料。然而，一本题为《better-quasi-order 理论导论》的教科书尚待撰写。本文试图对 Nash-Williams 定义的这一深刻概念给出一个有动机且自包含的引介，这正是我们期望在此类教科书中看到的。
引用
@article{arxiv.1604.05866,
title = {Towards Better: A motivated introduction to better-quasi-orders},
author = {Yann Pequignot},
journal= {arXiv preprint arXiv:1604.05866},
year = {2024}
}