Traditional topics of JAF (Days of Weak Arithmetics):
- provability in weak arithmetics,
- definability in weak arithmetics,
- weak arithmetics and model theory,
- undecidability/decidability/complexity of weak theories,
- modelling computations in logical theories,
- et al.
JAF 29 is organized by Université Paris Est Créteil (Paris 12)
and by the Banach Center of the Institute of Mathematics of Polish
Academy of Sciences.