A disjoint union theorem for trees
arXiv:1407.7292
Abstract
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.
23 pages