JAF12


Équipe de Logique, Université PARIS VII (France)
13-14 juin 1996

BÈS Alexis - (LLAIC1, Université d'Auvergne), About definability in Presburger and Skolem arithmetic

BRUYÈRE Véronique - (Université de Mons, Belgique), Entiers, Automates et Substitutions

CÉGIELSKI Patrick - (Université Paris XII), Sur l'Analyse quasi-récursive

ESBELIN Henri-Alex - (LLAIC1, IUFM, Université d'Auvergne), Comptages rudimentaires et substitution polynomiale

FINKEL Olivier - (Équipe de Logique, Paris VII), Propriétés de décidabilité du spectre ordinal des formules locales

LACOSTE Thierry - (Équipe de Logique, Paris VII), Preuve d'une conjecture de Kolaitis et Vardi

MUCHNIK Andreï - (Moscow University, Russia), Nontrivial invariant predicates definable in theory of Kolmogorov complexity

NÉZONDET Francis - (LLAIC1, Université d'Auvergne), Indépendance de la conjecture d'Erdös sur une théorie arithmétique

OLIVE Fréderic & MORE Malika - (Université de Caen, LLAIC1, Université d'Auvergne), Caractérisation de RUD par la logique monadique

RESSAYRE Jean-Pierre & DUPARC Jacques - (Équipe de Logique, Paris VII), Théorie des automates et structure fine des boréliens long version publihed in proceedings

SEMENOV Alexeï - (Steklov Institute, Moscow, Russia), The definable criterion of definability in Presburger arithmetic and its application

VSEMIRNOV Maxim - (Steklov Institute, St Petersburg, Russia), Characterizing each number by the set of prime division of a certain sequence