关于偏良序的良扩展
计算机科学中的逻辑
2015-07-28 v6
摘要
本文研究严格（非自反）偏良序的良扩展。我们首先证明任意偏良序结构 <A, R> 都可扩展为一个良序结构。然后我们证明 <A, R> 的每个线性扩展都是良序的，当且仅当 A 在 R 下没有无限全无序子集。
引用
@article{arxiv.1503.06514,
title = {On the Well Extension of Partial Well Orderings},
author = {Haoxiang Lin},
journal= {arXiv preprint arXiv:1503.06514},
year = {2015}
}