Recursive Reducts of PA II

Models of PAWednesday, December 7, 20166:30 pmGC 4214-03

Alf Dolich

Recursive Reducts of PA II

The City University of New York

I will continue discussing work of Schmerl addressing the question of under what conditions a given reduct of PA has the property that for any non-standard model M of PA the restriction of M to the reduct must be non-computable.

Professor Dolich (Ph.D. 2002 University of Maryland, M.A. Columbia University, B.A. University of Pennsylvania) held a VIGRE Van Vleck Assistant Professorship at the University of Wisconsin, Madison, before coming to the New York area, where he now holds an Assistant Professor position at Kingsborough CC of CUNY. Professor Dolich conducts research in model theory, simple theories, and o-minimal theories with secondary interests in algebraic geometry and set theory.

Posted by on December 1st, 2016