 Linear Independence of Logarithms of Algebraic Numbers by Michel Waldschmidt

IMSc Report116, Madras. Author-hosted notes. Chapter1, Theorem1.7, gives the six-exponentials theorem for independent input families with d times ell greater than d plus ell; Conjecture1.8 states the four-exponentials conjecture.