Model Complete Expansions of the Real Field by Modular Functions and Forms


We prove a strong form of model completeness for expansions of the field of real numbers by (the real and imaginary parts of) the modular function J, by the modular forms E4 and E6 and quasimodular form E2 defined in the usual fundamental domain, and the restricted sine function and the (unrestricted) exponential function. This is done using ideas of… (More)

1 Figure or Table


  • Presentations referencing similar topics