摘要
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 Konig, Larson, Moore and Velikovi and simplifies the original proof of Moore.
- 出版日期2017-11