2013 seminar talk: Some model theory of Peano arithmetic

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


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.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.