D. Novikov - Wilkie's conjecture for restricted elementary functions - Archive ouverte HAL Accéder directement au contenu
Vidéo Année : 2019

D. Novikov - Wilkie's conjecture for restricted elementary functions

Afficher 

Dmitry Novikov
  • Fonction : Auteur
  • PersonId : 1037785
Fanny Bastien
Donovan Humphries
  • Fonction : Réalisateur

Résumé

We consider the structure $\mathbb{R}^{RE}$ obtained from $(\mathbb{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$.

Dates et versions

medihal-02274923 , version 1 (30-08-2019)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

  • HAL Id : medihal-02274923 , version 1

Citer

Dmitry Novikov, Fanny Bastien, Donovan Humphries. D. Novikov - Wilkie's conjecture for restricted elementary functions: Summer School 2019 - Foliations and algebraic geometry. 2019. ⟨medihal-02274923⟩
40 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More