Well-quasi-ordering Aronszajn lines Carlos Martinez-Ranero (2011) Fundamenta Mathematicae We show that, assuming PFA, the class of all Aronszajn lines is well-quasi-ordered by embeddability.