五元基定理的一个直接证明
A direct proof of the five element basis theorem
摘要：
给出了不可数线性序的五元基存在性的相容性的一个直接证明。我们的论证是基于Koenig，Larson，Moore和Velickovic所考虑的Aronszajn树的饱和度概念的方法，简化了Moore的原始证明。
英文摘要：
We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of notion of saturation of Aronszajn trees considered by Koenig, Larson, Moore and Velickovic and simplifies the original proof of Moore.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
