JAF16


Banach Institute, WARSAW (Poland)
25-27 mai 1998

ADAMOWICZ Zofia - (Academy of Sciences, Warsaw, Poland), Definability via consistency

BELTIUKOV Anatoly - (Steklov Institute, St Petersbourg, Russie), Comparing very small subrecursive classes

BOFFA Maurice - (Université de Mons, Belgique), Open questions related to Conway's axioms for Kleene's operations +, ., *

BONFANTE Guillaume - (Université de Nancy), Polynomial termination

CÉGIELSKI Patrick & RICHARD Denis - (Université Paris XII, LLAIC1, Université d'Auvergne), Some absolute results on additive theory of primes published version

DIMITRACOPOULOS Konstantin - (University of Athens, Greece), On end extensions of models long version published in proceedings

ESBELIN Henri-Alex - (LLAIC1, Université d'Auvergne), Reals of rudimentary complexity

KOSSAK Roman - (CUNY, New-York), Fixed point sets in recursively saturated models of PA

MAES Arnaud - (Université de Mons, Belgique), Decidability of some expansions of (N, <) by morphic predicates

MURAWSKI Roman - (Poznan University, Poland), Undefinability of truth. The problem of priority: Tarski vs. Gödel

RAFFER Sidney - (City University of New York), Diophantine correct models of open induction

ZAHIDI Karim - (Université de Gand, Belgique), The existential theory of real hyperelliptic function fields

WOODS Alan - (Nedlands, Australia), Bounded arithmetic and the local global principle: Unsatisfiable systems of equations over a finite field