The seminar studies this semester the following book:
Richard Kaye,
Models of Peano Arithmetic,
Clarendon press, Oxford, (1991).
An electronic copy will be available to seminar participants
(see also this page).
Some notes:
Mutual interpretability of PA and
finite ZFC,
A simpler proof than is in Kay's book
of the MacDowell-Specker theorem.