The special Aronszajn tree property at and
arXiv:1809.07638
Abstract
Starting from the existence of a weakly compact cardinal, we build a generic extension of the universe in which holds and all -Aronszajn trees are special and hence there are no -Souslin trees. This result answers a well-known open question from the 1970's.
We fixed a few typos and gaps, and added more explanations for some arguments