Linear forms in logarithms and their applications

From elementary height and approximation bounds to Baker's theorem, effective logarithmic estimates and their Diophantine applications.

1. Linear forms in logarithms: the problem, the trivial bounds, and effectivity
2. Baker's theorem I: building an auxiliary function
3. Baker's theorem II: extrapolation and the end of the proof
4. Effective lower bounds I: Baker's theorem and its arithmetic tools
5. Effective lower bounds II: proof of Baker's theorem
6. Two logarithms I: interpolation determinants
7. Two logarithms II: explicit lower bounds
8. Linear forms in many logarithms: the modern estimates and how to use them
9. p-adic analysis for linear forms in logarithms
10. Two p-adic logarithms: determinant bounds

Download editable course sources

CC0 1.0 for original text, exposition and figures; font glyphs retain their licences.