Well-quasi-ordering Aronszajn lines
Volume 213 / 2011
Fundamenta Mathematicae 213 (2011), 197-211
MSC: Primary 03-xx; Secondary 06B30, 06F30.
DOI: 10.4064/fm213-3-1
Abstract
We show that, assuming PFA, the class of all Aronszajn lines is well-quasi-ordered by embeddability.
