JAF

Journées sur les Arithmétiques Faibles
Weak Arithmetics Days




Aim

Weaks Arithmetics play a fundamental role in several areas of philosophy, mathematics, and computer science by studying the nature and properties of natural numbers from a logical point of view.
The aim of the conference is to provide a forum for researchers to present their results to those members of communities who study or apply weak arithmetics in the different fields and formalisms.

Topics

Proofs in arithmetic with restricted system of axioms.
Non-standard Models of such systems.
Decidability, undecidability, complexity of arithmetical theories.
Definability in arithmetic structures.
Machines, automata and words, related to arithmetic.
Finite model theory, words structures.

What are Weak Arithmetics?
30 issues of JAF/WAD
Intas Project
Participants




Steering Committee:

Patrick Cégielski, université Paris Est Créteil 12,
Andrés Córdon-Franco, Seville,
Costas Dimitracopoulos, Athens,
Alex Esbelin, Clermont-Ferrand,
Jean-Pierre Ressayre, CNRS, université Paris VII,






Université Paris Est Créteil-IUT
Département Informatique
Route forestière Hurtault
F-77300 Fontainebleau
France

Fax: +33.(0)1.60.74.68.28

E-mail: cegielski at u-pec.fr