Distributive Aronszajn trees

Ari Meir Brodsky, Assaf Rinot

Ben-David and Shelah proved that if $\lambda$ is a singular strong-limit cardinal and $2^{\lambda }={\lambda }^{+}$, then ${\square }_{\lambda }^{\ast }$ entails the existence of a normal $\lambda$-distributive ${\lambda }^{+}$-Aronszajn tre…