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

# The pentagon lattice

## Athar Abdul-Quader

### 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