Bakers Theorem
Definition
Sammlung effektiver Resultate, die explizite untere Schranken für nichtverschwindende Linearkombinationen von Logarithmen algebraischer Zahlen liefern; diese Schranken sind höhenabhängige, berechenbare Abschätzungen, die auf die Begrenzung oder Bestimmung ganzer und exponentieller diophantischer Lösungen angewendet werden können.