Higman引理对良拟序更强于对良准序
逻辑
2022-05-10 v1 组合数学
摘要
我们在逆数学框架下证明，Higman引理对良拟序（better quasi orders）严格强于对良准序（well quasi orders）。事实上，我们给出了一个更强的结果：在基理论之上，任意形如（为良序且）的数组均为良的命题可推出无限Ramsey定理（对所有长度的元组）。
引用
@article{arxiv.2205.04336,
title = {Higman's lemma is stronger for better quasi orders},
author = {Anton Freund},
journal= {arXiv preprint arXiv:2205.04336},
year = {2022}
}