Arithmetics and stuff



Every other week the Utrecht Seminar on Arithmetic has a meeting in Utrecht. We will begin with the famous "Lev Lectures". Lev Beklemishev gives "advanced introductions" to arithmetical topics like incompleteness, provably total recursive functions, reflection principles, interpretability and definable cuts. (Master) students can follow this up by an examination for credits. Those interested can sign up to a mailing list
Joost Joosten
or they can consult this page to get updated on the time and location. Also we will try to distribute notes via this page. Any sort of comment on them are very welcome.


  • Lecture 1;
    A preliminary version of my worked out notes of the first lecture are to be found in the end. Any comment addition or correction is welcome.
  • Lecture2;
    Yes Again any comments additions or corrections are welcome.
  • Lecture 3;
    Lecture 3 was at Wednesday june 27 at the Bestuursgebouw fourth flour from 15:00-17:00 in room 465.
  • Lecture 4;
    Lecture 4 on Arithmetics of Lev Beklemishev was held Thursday July 12 from 15:00-17:00 in room 465 of the Bestuursgebouw in Utrecht.

  • Lecture 5;
    Lecture 5 on Arithmetics of Lev Beklemishev will be held Monday October 15 from 16:00-18:00 in room 465 of the Bestuursgebouw in Utrecht.

  • Lecture 6;
    Lecture 6 on Arithmetics of Lev Beklemishev will be held Monday October 29 from 16:00-18:00 in room 467 of the Bestuursgebouw in Utrecht. In this and the following lecture Lev will continue speaking about weak arithmetics, cuts, consistency statements and realtive interpretations. Pudlak's strengthening of G"odel's 2nd incompleteness theorem is in order.

  • Lecture 7;
    Lecture 7 on Arithmetics of Lev Beklemishev will be held Monday November 12 from 16:00-18:00 in room 467 of the Bestuursgebouw in Utrecht.

  • Lecture 8;
    Lecture 8 on Arithmetics of Lev Beklemishev will be held Monday November 26 from 16:00-18:00 in room 411 of the Bestuursgebouw in Utrecht.

    The "Bestuursgebouw" is situated at the Heidelberglaan. Information on how to get there can be found here . (Basicly you take bus 12 at the central station of Utrecht and get of at the stop "Bestuursgebouw".)



    A preliminary version of my worked out notes of the first lectures:
    Postscript


    There are also some suggestions for exercises.
    Joost Joosten
    Last modified: Wed Nov 21 15:44:48 MET 2001