Topics for the exam are here.
took place on Tuesdays, 8:45 in the room 2046, building on the Banach
The file with some exercises is here.
are based on the following books.
Most of the material and exercises is taken from them:
1. R. Kaye, Models of Peano arithemtic,
2. P. Hájek, P. Pudlák, Metamathematics of
3. H. Kotlarski, A model-theoretic approach to proof theory for
arithmetic, an unpublished manuscript of a book.
These are just rough notes from some of the lectures in the fall semester 2006.
Comments, corrections and improvements are
- Lecture 03/10/06
- Lecture 10/10/06
- Lecture 17/10/06
- Lecture 24/10/06
- Lecture 31/10/06
- Lecture 07/11/06
some exercises (exercises
updated on 17/10/2006).