  Furstenberg-Weiss have extended Szemer\'edi's theorem on arithmetic
progressions to trees by showing that a large subset of the tree contains
arbitrarily long arithmetic subtrees. We study higher dimensional versions that
analogously extend the multidimensional Szemer\'edi theorem by demonstrating
the existence of certain arithmetic structures in large subsets of a cartesian
product of trees.
