An Axiomatization of Nesterenko′s Method and Applications On Mahler Functions Original Research Article

Using Nesterenko′s method we prove a criterion for algebraic independence, which gives a lower bound for the number of algebraically independent quantities among the values of Mahler functions, where the arguments are algebraic points in imagen, transcendental points in image, or well approximable Liouville points in image.