A disjoint union theorem for trees
  We prove an infinitary disjoint union theorem for level products of trees. To implement the proof we develop a Hales-Jewett type result for words indexed by a level product of trees. 
Stevo Todorcevic and Konstantinos Tyros
math.CO