Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1043

Preprint Number 1043

Previous Next Preprint server

1043. Gal Binyamini, Dmitry Novikov
Wilkie's conjecture for restricted elementary functions

Submission date:


We consider the structure R^{RE} obtained from ( R , < , + , . ) by adjoining the restricted exponential and sine functions. We prove Wilkie's conjecture for sets definable in this structure: the number of rational points of height H in the transcendental part of any definable set is bounded by a polynomial in log H. We also prove two refined conjectures due to Pila concerning the density of algebraic points from a fixed number field, or with a fixed algebraic degree, for R^{RE}-definable sets.

Mathematics Subject Classification: 11G99 (Primary) 03C64 11U09 (Secondary)

Keywords and phrases:

Full text arXiv 1605.04671: pdf, ps.

Last updated: May 30 2016 15:49 Please send your corrections to: