This minicourse is based on Kaye and Wong's paper "On Interpretations of Arithmetic and Set Theory". It concerns the Ackermann's interpretation of the theory of hereditarily finite sets in PA and the role of some set theory axioms in it. We will also revisit some material related to Vopěnka's Alternative set theory, where similar phenomena were observed.
First talk slides: pa_zffin.pdf.
Second talk slides: pa_zffinII.pdf
Third talk slides: pa_zffinIII.pdf
The slides give a guide to the remaining reading material.