Infinitary Hales-Jewett theorem. Another proof
  We give a proof of an infinitary version of the well known Hales-Jewett theorem on finite words avoiding the use of ultrafilters. 
Jes\'us E. Nieto
math.CO