Stability of the Chari-Pressley-Loktev bases for local Weyl modules of sl₂[t]

We prove stability of the Chari-Pressley-Loktev bases for natural inclusions of local Weyl modules of the current algebra $sl_2[t]$. These modules being known to be Demazure submodules in the level 1 representations of the affine Lie algebra $\widehat{sl_2}$, we obtain, by passage to the direct limit, bases for the level 1 representations themselves.