Models of PAWednesday, September 17, 20144:50 pmGC 6300New location
Ranked lattices and elementary end extensions
Roman Kossak
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.
Roman Kossak is professor of mathematics at The City University of New York, at Bronx Community College and also at the CUNY Graduate Center. He conducts research in mathematical logic, especially in model theory of Peano Arithmetic.
Posted by on September 10th, 2014