Topics for the exam are here.

Lecture took place on Tuesdays, 8:45 in the room 2046, building on the Banach street.

The file with some exercises is here.

Lectures 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 first-order arithmetic,

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 welcome.

- Lecture 03/10/06
- Lecture 10/10/06
- Lecture 17/10/06
- Lecture 24/10/06
- Lecture 31/10/06
- Lecture 07/11/06

And some exercises (exercises updated on 17/10/2006).