Some model theory of Peano arithmetic
First, I would like to share with the audience some of my favourite theorems in my area of research. They should give an idea of why Peano arithmetic (PA) is a good theory. Second, I will explain what it means for a cut (i.e., an initial segment) of a model of PA to be ‘generic’. I will show why (I think) genericity is a good notion for cuts.