  Assuming some large cardinals, a model of ZFC is obtained in which
aleph_{omega+1} carries no Aronszajn trees. It is also shown that if lambda is
a singular limit of strongly compact cardinals, then lambda^+ carries no
Aronszajn trees.
