Existence of noneffectivizable estimates in the theory of exponential Diophantine equations
scientific article; zbMATH DE number 3627158