A partition theorem for the infinite subtrees of a tree

We prove a generalization for infinite trees of Silver’s partition theorem. This theorem implies a version for trees of the Nash-Williams partition theorem. © 1981 American Mathematical Society.