On the dimension of trees

It is proved that for trees (and forests) G one has dimG?3 log⁺₂∣G∣(where dim G, the dimension of G, is the minimum k such that G is embeddable into a product of k complete graphs; ∣G∣ is the size of G). Moreover, if m(G) is the quotient of G obtained by identifying the points with coinciding neighbour sets, one has, for forests G, log⁺₂ ∣m(G)∣ ? 1 ? dimG ? 3 log⁺₂m(G>) + 1. Also, for the bipartite dimension bid G (arising from embeddings into P^k₃) one has bid G ? 8 log⁺₂ ∣G ∣.