Wednesday, September 17, 20144:50 pmModels of PAGC 6300New location

Ranked lattices and elementary end extensions

Roman Kossak

The City University of New York

Roman Kossak

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.