• Provability in weak arithmetics
  • Definability in weak arithmetics
  • Weak arithmetics and model theory
  • Decidability/undecidability of weak logical theories
  • Modelling computations in the frameworks of weak arithmetics