É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) p. 703-706

Équations aux différences dans les vecteurs de Witt

Luc Bélair

Comptes Rendus. Mathématique, Volume 340 (2005) 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) 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) p. 459-462