Blog Archives
Topic Archive: ranked lattices
Models of PAWednesday, September 17, 20144:50 pmGC 6300New location
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.