Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt

Luc Bélair; Françoise Point

Comptes Rendus. Mathématique, Volume 346 (2008) no. 13 p. 703-706

Équations aux différences dans les vecteurs de Witt

Luc Bélair

Comptes Rendus. Mathématique, Volume 340 (2005) no. 2 p. 99-102

Fonctions rationnelles aux différences à valeurs entières dans les vecteurs de Witt

Luc Bélair

Comptes Rendus. Mathématique, Volume 339 (2004) no. 2 p. 83-86

La définissabilité des entiers dans les corps de courbes réelles archimédiens

Luc Bélair

Comptes Rendus. Mathématique, Volume 336 (2003) no. 6 p. 459-462