JAF5


LLAIC1, Université d'Auvergne CLERMONT-FERRAND (France)
4-5 juin 1992

BOUGHATTAS Sedki - (Équipe de Logique, Paris VII), L'ensemble des nombres premiers n'est pas NP dans une sous-théorie de l'arithmétique de BUSS (I)

CÉGIELSKI Patrick - (LITP, Université Paris VII), Le théorème de Dirichlet est finitiste

COMBASE Joël - (Université Paris I), La théorie WKL0 des reverse mathematics

DUDEK Josef - (Wroclaw University, Poland), On Mersenne's, Dedekind's, Fermat's numbers (some algebraic characterisations)

ESBELIN Henri-Alex - (LLAIC1, Université d'Auvergne), Problème de comptage en arithmétique bornée

MATIYASEVICH Yuri - (Steklov Institute, Leningrad, Russie), New directs methods simulating partial recursive functions by diophantine equations

MORE Malika - (LLAIC1 Université d'Auvergne), Arithmétisation des spectres

MOURGUES Marie-Hélène - (Équipe de Logique, Paris VII), Sur la résolution des équations exponentielles algébriques par des séries formelles

RESSAYRE Jean-Pierre - (Équipe de Logique, Paris VII), L'ensemble des nombres premiers n'est pas NP dans une sous-théorie de l'arithmétique de BUSS (II)

RICHARD Denis - (LLAIC1, Université d'Auvergne), Sur les langages contenant une énumération des premiers et la relation de divisibilité