= Baker's theorem
{c}
{wiki}
= Baker theorem on algebraic linear combinations of logarithms
{c}
{synonym}
If chosen logarithms of algebraic numbers are <linearly independent> over $\mathbb Q$, then they, together with one, are <linearly independent> over $\overline{\mathbb Q}$. More generally a nonzero homogeneous <linear combination> with algebraic coefficients is transcendental. Quantitative <lower bounds> for <integer> coefficients are a separate, effective aspect of logarithmic-form theory.
Back to article page
