Henryk Kotlarski Bozena Piekart Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts. 138-142 1995 41 Math. Log. Q. db/journals/mlq/mlq41.html#KotlarskiP95