The pentagon lattice

Models of PAWednesday, October 22, 20144:50 pmGC 6300

Athar Abdul-Quader

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 by on October 19th, 2014