A direct proof of the five element basis theorem

作者:Velickovic Boban*; Venturi Giorgio
来源:Mathematical Logic Quarterly, 2017, 63(3-4): 289-298.
DOI:10.1002/malq.201600023

摘要

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

全文