O-minimalité de R_exp et le théorème de Khovanskii
Date(s) : 12/03/2019 iCal
14h00 - 15h00
Le rajout de l’exponentiel aux polynômes permet d’engendrer une structure R_exp.
La combinaison de la modèle-complétude de Wilkie et d’un théorème de finitude de Khovanskii permet de démontrer l’o-minimalité de R_exp. Nous expliquerons une preuve du théorème de Khovanskii.
Catégories