Blog Archives

Topic Archive: elementary extensions

Models of PAWednesday, September 17, 20144:50 pmGC 6300New location

Roman Kossak

Ranked lattices and elementary end extensions

The City University of New York

Every countable model M of PA has and elementary end extension N such that the lattice Lt(N/M) is
isomorphic to the pentagon lattice N_5. I will go over the proof why none of such extensions can be conservative.