Some remarks on Schanuelʹs conjecture Original Research Article

Schanuelʹs Conjecture is the statement: if View the MathML source are linearly independent over View the MathML source, then the transcendence degree of View the MathML source over View the MathML source is at least n. Here we prove that this is true if instead we take infinitesimal elements from any ultrapower of View the MathML source, and in fact from any nonarchimedean model of the theory of the expansion of the field of real numbers by restricted analytic functions.