1. Some model-theoretic results in the algebraic theory of quadratic forms;Astier;Ann. Pure Appl. Logic,2001
2. Special groups whose isometry relation is a finite union of cosets;Astier;J. Symbolic Logic,2008
3. The first order properties of products of algebraic systems;Feferman;Fund. Math.,1959
4. Model Theory;Hodges,1993
5. B. Poizat, Groupes stables, Nur al-Mantiq wal-Ma’rifah [Light of Logic and Knowledge], 2, Bruno Poizat, Lyon, 1987, une tentative de conciliation entre la géométrie algébrique et la logique mathématique. [An attempt at reconciling algebraic geometry and mathematical logic]