Models of PAWednesday, October 22, 20144:50 pmGC 6300
The pentagon lattice
The CUNY Graduate Center
In this talk, I will discuss the proof that for every countable model M of PA, there is an end extension N such that Lt(N /M) is isomorphic to N5. I will begin by constructing an infinite representation of N5 and then discuss Theorem 4.5.21 in TSOMOPA which shows how to construct an extension from such a representation.
Posted byon October 19th, 2014