A virtual five element basis for the uncountable linear orders

Abstract: We prove that for every Aronzsajn line A and every Countryman line C, there is a proper forcing extension in which A contains an isomorphic copy of either C or its converse C*. As a corollary, we obtain answers to several related questions asked by the second author in the literature: if there is an inaccessible cardinal, then there is a proper forcing extension in which the uncountable linear orders have a five element basis; BPFA implies the existence of a five element basis for the uncountable linear orders; BPFA is equiconsistent with the conjunction of BPFA and Aronszajn tree saturation. These results are derived from new preservation results concerning subtrees of Aronszajn trees, proper forcings, and countable support iterations, generalizing work of Miyamoto, Abraham, and Shelah.