A representation of models of Peano arithmetic
Nous définissons l’espace des germes d’arcs réels tracés sur un ensemble semi-algébrique de , analogue réel de la théorie développée par Denef et Loeser concernant l’espace des germes d’arcs tracés sur une variété algébrique complexe. Puis, reprenant leur méthodes, nous prouvons la rationalité de la série de Poincaré associée à un ensemble semi-algébrique.