BOUGHATTAS Sedki - (Équipe de Logique, Paris VII), Modéles exotiques de l'arithmétique ouverte (long version published as L’arithmétique ouverte et ses modèles non-standards, The journal of symbolic logic. Vol. 56. Number 2, 1991, pp. 700-714)
CÉGIELSKI Patrick - (LITP, Université Paris VII), La théorie des corps inductifs archimédiens rationnellement complets published paper
GRIGORIEFF Serge - (LITP, Université Paris VII), Définissabilité et décidabilité dans les arithmétiques faibles (long version published as Décidabilité et complexité des théories logiques, Collection Didactique, vol. 8, p. 7-97, INRIA, 1991; extended version in English in preparation in 2020)
GUILLAUME Marcel - (LLAIC1, Université d'Auvergne), Machines alternantes et tableaux sémantiques de Beth
KHELIF Anatole - (Équipe de Logique, Paris VII), Une généralisation du théorème de Bass-Minor-Serre long version published
MOSTOWSKI Marcin - (Warsaw, Poland), On branched quantifiers
MOURGUES Marie-Hélène - (Équipe de Logique, Paris VII), Ensembles d'entiers dans les corps réels-clos et calculabilité en temps polynomial
RESSAYRE Jean-Pierre - (Équipe de Logique, Paris VII), Modèles de l'Arithmétique faible et calculabilité en temps polynomial
RICHARD Denis - (LLAIC1, Université d'Auvergne), Arithmétiques faibles et problèmes de mots
TERRIER Véronique - (ENS Lyon), La théorie existentielle des entiers naturels munis de l'ordre, de la divisibilité et des fonctions puissances
TOMASIK Jerzy - (LLAIC1, Université d'Auvergne), Définition catégorique des entiers par un langage de programmation