A Large Pairwise Far Family of Aronszajn Trees

John Krueger

We construct a large family of normal $\kappa$-complete ${\mathbb{R}}_{\kappa }$-embeddable non-special ${\kappa }^{+}$-Aronszajn trees which have no club isomorphic subtrees using an instance of the proxy…