JAF11


IUT de Fontainebleau, Université PARIS XII (France)
14-15 décembre 1995

BEKLEMISHEV Lev - (Steklov Institute, Moscow, Russia), Induction rules and iterated reflection principles

BÈS Alexis - (LLAIC1, Université d'Auvergne), Définissabilité et automates finis

BOUGHATTAS Sedki - (Équipe de Logique, Paris VII), L'induction logarithmique sur les formules sans paramètres ne démontre pas que les premiers soient existentiellement définissables dans le langage de Buss

FROUGNY Christiane - (Université Paris VIII), Sur les sytèmes de numération non classiques

GUILLAUME Marcel & RICHARD Denis - (LLAIC1, Université d'Auvergne), Décidabilité de Th3(N, S, coprimarité) ramené à cinq questions

ZHU Hong - (Fudan University, Shanghai, China), The Structure of NP0 (Np-Optimization problem) Class

LACOSTE Thierry - (Équipe de Logique, Paris VII), Un survol des lois 0-1 en logique

NÉZONDET Francis - (LLAIC1, Université d'Auvergne), Théorème du va et théorème du vient

PELIBOSSIAN Hrastya - (LITP, Université Paris VII), Critères d'affinité des fonctions calculables en ligne

SUDAC Olivier - (Université d'Auvergne), Le théorème des nombres premiers est finitiste long version published in proceedings

SURESON Claude - (Équipe de Logique, Paris VII), P, NP, théories faibles de l'arithmétique

WOODS Alan - (Nedlands, Australia), Decidability and undecidability of sentences about primes, via Schinzel's conjecture