JAF4


LITP, Université PARIS VII (France)
12-13 décembre 1991

BOUGHATTAS Sedki - (Équipe de Logique, Paris VII), L'induction ouverte dans les anneaux normaux n'est pas finiment axiomatisable

CÉGIELSKI Patrick - (LITP, Université Paris VII), Le théorème de Dirichlet est conséquence de IΣ1

ESBELIN Henri-Alex - (LLAIC1, Université d'Auvergne), Très petites classes de complexité

KRAJICEK Jan - (Académie des Sciences, Tchécoslovaquie), On the complexity of the pigeon hole principle

MARGENSTERN Maurice - (LITP, Université Paris XI), Constructivisme de Markov

MULLER Jean-Michel - (ENS Lyon), Quelques problèmes autour de l'arithmétique en ligne

PIN Jean-Éric - (BULL), Automates et logiques du successeur

RESSAYRE Jean-Pierre - (Équipe de Logique, Paris VII), Autour du théorème de Wilkie sur les corps exponentiels réels

RICHARD Denis - (LLAIC1, Université d'Auvergne), Langages qui codent les suites finies

THIBAU Violaine - (LITP, Université Paris VII), Système T de Gödel et fonctions récursives prouvablement totales dans l'arithmétique de Peano

TOMASIK Jerzy - (LLAIC1, Université d'Auvergne), Produits réduits d'automates