JAF15


Université de MONS-HAINAULT (Belgique)
11-12 décembre 1997

ADAMOWICZ Zofia - (Academy of Sciences, Warsaw, Poland), A few questions in bounded arithmetic

BEKLEMISHEV Lev - (Steklov Institute, Moscow, Russia), On arithmetical Δ1-induction schema

BÈS Alexis - (Équipe de Logique, Paris VII), Décidabilité des machines de Matiiassevitch, cas non déterministes

CÉGIELSKI Patrick & RICHARD Denis - (Université Paris XII, LLAIC1, Université d'Auvergne), Decidability of the integers equipped with Cantor pairing and successor long version in proceedings - pdf

CHINCHILLA Eugenio - (Équipe de Logique, Paris VII), Un résultat de calculabilité en temps sous exponentiel (avec preuve non standard)

D'AQUINO Paola - (Université de Naples, Italie), Non standard finite fields in fragments of arithmetics

DURAND Arnaud - (INRIA, Pisa University, Italy), On robustness of counting rudimentary relations

ESBELIN Henri-Alex - (LLAIC1, Université d'Auvergne), Rudimentary reduction of composition sequences in finite monoids long version published in proceedings

HOEVEN Joris van der - (École Polytechnique, Paris), Résolution effective des systèmes d'équations algébriques dans les corps de séries

MACINTYRE Angus - (Oxford University, U.K.), Survey of what one knows about primes in fragments

MARGENSTERN Maurice - (Université de Metz), A new decidability result for the halting problem

VSEMIRNOV Maxim - (Steklov Institute, St Petersburg, Russia), On diophantine equations


JAF15 Website


BOFFA Maurice & Véronique BRUYÈRE, éditeurs, Actes des JAF15 (Quinzièmes Journées sur les Arithmétiques Faibles, 11-12 décembre 1997), Université de Mons-Hainaut (1998), 114 p.