June 2-5, 2004   Yerevan, Armenia
 







Jaf23 Main Page


Main topics
  • provability in weak arithmetics
  • definability in weak arithmetics
  • weak arithmetics and model theory
  • decidability/undecidability of weak logical theories
  • modeling computations in the frameworks of weak arithmeticís
Previous Days


Copyright © 2003 ipia.sci.am Yerevan, RA. Email:    webmaster