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 ( U i ) i ∈ d of fixed trees U i , i ∈ d , that have a finite uniform branching but are of infinite length.