Henryk Kotlarski Automorphisms of Countable Recursively Saturated Models of PA: a Survey. 505-518 1995 36 Notre Dame Journal of Formal Logic 4 db/journals/ndjfl/ndjfl36.html#Kotlarski95