Idéaux et types sur les corps séparablement clos
Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées
Infinitary equivalence of abelian groups
Infinitary stationary logic and abelian groups
Interpreting number theory in nilpotent groups.
It is consistent that there exists an ordered real closed field which is not hyper-real.