Anti-basis theorems for higher Aronszajn lines, part 9

We prove that the conclusion of Theorem A from our preprint holds true also for mu an ineffable cardinal. In particular, for every regular uncountable cardinal mu, if there is a special Aronszajn tree of height mu^+, then there is one satisfying a very strong negative partition relation.