Mathematical Research Letters
Volume 18 (2011)
Gap structure of coherent Aronszajn trees
Pages: 565 – 578
Assuming the Proper Forcing Axiom, we show (identifying trees that are finite shifts of each other) that the class of coherent Aronszajn trees is the unique $\aleph_2$-saturated linear order of cardinality $\aleph_2$.
Published 20 May 2011