Bounding the consistency strength of a five element linear basis

  title={Bounding the consistency strength of a five element linear basis},
  author={Bernhard K{\"o}nig and Paul B. Larson and Justin Tatch Moore and Boban Velickovic},
In [13] it was demonstrated that the Proper Forcing Axiom implies that there is a five element basis for the class of uncountable linear orders. The assumptions needed in the proof have consistency strength of at least infinitely many Woodin cardinals. In this paper we reduce the upper bound on the consistency strength of such a basis to something less than a Mahlo cardinal, a hypothesis which can hold in the constructible universe L. A crucial notion in the proof is the saturation of an… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.

A note on weak segments of PFA

  • Tadatoshi Miyamoto
  • In Proceedings of the Sixth Asian Logic…
  • 1996
Highly Influential
5 Excerpts

Structural analysis of Aronszajn trees

  • J. Tatch Moore
  • Proceedings of the Logic Colloquium,
  • 2005

Lipschitz maps on trees. report 2000/01 number 13, Institut Mittag-Leffler

  • Stevo Todorcevic
  • 2000
2 Excerpts

Similar Papers

Loading similar papers…