A Schanuel Property for
arXiv:1701.05841 · doi:10.1112/blms.12135
Abstract
I give a model-theoretic setting for the modular function and its derivatives. These structures, here called -fields, provide an adequate setting for interpreting the Ax-Schanuel theorem for (Pila-Tsimerman 2015). Following the ideas of M. Bays, J. Kirby and A.J. Wilkie for exponential fields, I prove a generic transcendence property for the function.
18 pages