Consistency of square bracket partition relation

Characteristic earlier results were of the form CON$(2^{{\mathrm{\aleph }}_0}\to [\lambda {]}_{n,2}^2)$, with $2^{{\mathrm{\aleph }}_0}$ an ex-large cardinal, in the best case the first weakly Mahlo cardinal. Characteristic new results are CON$((2^{{\mathrm{\aleph }}_0}={\mathrm{\aleph }}_m)+{\mathrm{\aleph }}_l\to [{\mathrm{\aleph }}_k{]}_{n,2}^2)$, for suitable $k<l<m$. So we improve in three respects: the continuum may be small (e.g. not a weakly Mahlo), we use no large cardinal, and the cardinals $\lambda$ involved are $<2^{{\mathrm{\aleph }}_0}$ after the forcing.