Combinatorial proofs of Infinite versions of the Hales-Jewett theorem
  We provide new and purely combinatorial proofs of two infinite extensions of the Hales--Jewett theorem. The first one is due to T. Carlson and S. Simpson and the second one is due T. Carlson. Both concern infinite increasing sequences of finite alphabets. 
Nikolaos Karagiannis
math.CO