Premium
A direct proof of the five element basis theorem
Author(s) -
Veličković Boban,
Venturi Giorgio
Publication year - 2017
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201600015
Subject(s) - uncountable set , mathematics , basis (linear algebra) , element (criminal law) , direct proof , consistency (knowledge bases) , calculus (dental) , argument (complex analysis) , analytic proof , discrete mathematics , pure mathematics , algebra over a field , mathematical proof , geometry , countable set , medicine , biochemistry , chemistry , dentistry , political science , law
Abstract 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 König, Larson, Moore and Veličković and simplifies the original proof of Moore.