$\omega_1$-like models of PA

Model theory seminarFriday, October 11, 201312:30 pm

Roman Kossak

$\omega_1$-like models of PA

The City University of New York

I will give a brief survey of what is known about $omega_1$-like models of PA (much) and what is not known (much).

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 October 6th, 2013