Wednesday, October 22, 20144:50 pmModels of PAGC 6300

The pentagon lattice

Athar Abdul-Quader

The CUNY Graduate Center

Athar Abdul-Quader

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.