On strength of weakness

Model theory seminarFriday, March 8, 201312:00 amGC 6417

Roman Kossak

On strength of weakness

The City University of New York

I will explain why countable models of PA which are just recursively saturated do not have maximal automorphisms. If time permits I will also show why recursive saturation implies standard system saturation for models of rich theories.

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 March 2nd, 2013