Some consequences of Schanuel's conjecture

We study the algebraic independence of two inductively defined sets. Under the hypothesis of Schanuel's conjecture we prove that the exponential power tower E and its related logarithmic tower L are linearly disjoint.