A canonical partition theorem for uniform families of finite strong subtrees

Extending a result of Milliken (1980), in this paper we prove a Ramsey classification result for equivalence relations defined on uniform families of finite strong subtrees of a finite sequence (Ui)i∈d of fixed trees Ui, i∈d, that have a finite uniform branching but are of infinite length.