Elementary end extensions and the pentagon lattice

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

Roman Kossak

Elementary end extensions and the pentagon lattice

The City University of New York

By a theorem of Wilkie, every countable model M of PA has an elementary end extension N such that interstructure lattice Lt(N/N) is isomorphic to the pentagon lattice. I will explain why the theorem does not generalize to uncountable models.

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 24th, 2014