By utilizing ultrafilters we give a general version of the Central Set
s Theorem [6, Proposition 8.21]. This enables us to derive noncommutat
ive versions of van der Waerden's Theorem and several of its generaliz
ations. We also derive some standard results, including the Hales-Jewe
tt Theorem.