Wilkie's conjecture for restricted elementary functions

Gal Binyamini, Dmitry Novikov

We consider the structure ${\mathbb{R}}^{\mathrm{RE}}$ obtained from $(\mathbb{R},<,+,\cdot )$ by adjoining the restricted exponential and sine functions. We prove Wilkie's conjectu…