Logic Seminar
Roman Kossak
The CUNY Graduate Center
Classification problems in Models of PA.
Abstract: I will briefly review the basics of Borel reducibility theory and I will discuss its applications to model theory of Peano Arithmetic. I will focus on the isomorphism problem for finitely generated models and on the conjugacy problem for various expansions of countable recursively saturated models.
It is joint work with Samuel Coskey.
seminar begins with tea.
Tuesday January 19, 2010 at 2:30 PM in SEO 612