Successive failures of approachability
arXiv:1702.05062
Abstract
Motivated by showing that in ZFC we cannot construct a special Aronszajn tree on some cardinal greater than , we produce a model in which the approachability property fails (hence there are no special Aronszajn trees) at all regular cardinals in the interval and is strong limit.