Kurt Gödel Research Center

2013 seminar talk: Some model theory of Peano arithmetic

Talk held by Tin Lok Wong (KGRC) at the KGRC seminar on 2013-10-31.

Abstract

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.