JAF3


LLAIC1, Université d'Auvergne CLERMONT-FERRAND (France)
17-18 juin 1991

BOUGHATTAS Sedki - (Équipe de Logique, Paris VII), Deux théorèmes sur l'arithmétique IE0(EXP)

CÉGIELSKI Patrick - (LITP, Université Paris VII), Relations arithmétiquement définissables sur les réels

ESBELIN Henri-Alex - (LLAIC1, Université d'Auvergne), Contenu des très petites classes sous-élémentaires

GRIGORIEFF Serge - (LITP, Université Paris VII), Arithmétique faible et théorème de Rabin

GUILLAUME Marcel - (Université d'Auvergne), Fonctions récursives en liste

MORE Malika - (ENS Lyon et LLAIC1 Université d'Auvergne), Transformations polynomiales explicites de spectres de graphes

MOURGUES Marie-Hélène - (Équipe de Logique, Paris VII), Racines d'un polynôme à coefficients dans un corps de séries formelles

OTERO Margarita - (Oxford University, U.K.), Diophantine Equations in normal models of open induction published paper

RESSAYRE Jean-Pierre - (Équipe de Logique, Paris VII), Tout corps réel clos exponentiel contient « une partie entière » close par exponentielle

TOMASIK Jerzy - (LLAIC1, Université d'Auvergne), Opérations arithmétiques élémentaires et réseau d'automates

WEHRUNG Fred - (Université de Caen), Notions de complétude pour les monoïdes positivement ordonnés