where the αi and βi are algebraic numbers. In case of αi a complex number, one has to allow log to denote some definite branch of the logarithm function in the complex plane. Applications include transcendence theory, establishing measures of transcendence of real number, and the effective resolution of Diophantine equations. It has been suitably generalised to elliptic logarithms and functions on abelian varieties.
The class of results established by Alan Baker's work supply lower bounds for |Λ|, in cases where Λ ≠ 0. This is in terms of quantities A and B, respectively bounding the heights of the αi and βi. This work supplied many results on diophantine equations, amongst other applications.
A recent explicit result by Baker and Wüstholz for a linear form |Λ| with integer coefficients yields a lower bound of the form
with a constant C
where d is the degree of the number field generated by the αs.