CUNY Logic WorkshopFriday, October 25, 20132:00 pmGC 6417

# Automorphism Groups of Countable, Recursively Saturated Models of Peano Arithmetic

## Jim Schmerl

### University of Connecticut

It is still unknown whether there are nonisomorphic countable recursively saturated models M and N whose automorphism groups Aut(M) and Aut(N) are isomorphic. I will discuss what has happened over the last 20 years towards showing that such models do not exist, including some very recent results.

Posted by

on October 15th, 2013