Richard Kaye Roman Kossak Henryk Kotlarski Automorphisms of Recursively Saturated Models of Arithmetic. 67-99 1991 55 Ann. Pure Appl. Logic 1 db/journals/apal/apal55.html#KayeKK91