We prove an infinitary disjoint unions 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.
科研之友
微信
新浪微博
Facebook
分享链接
