Roman Kossak Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets. 1997 5 Logic Journal of the IGPL 6 http://www3.oup.co.uk/igpl/Volume_05/Issue_06/#kossak db/journals/igpl/igpl5.html#Kossak97