Automorphisms of countable recursively saturated models of PA: A survey (Q1913626): Difference between revisions

This is an extensive survey of results concerning the automorphisms and automorphism groups of countable recursively saturated models of Peano Arithmetic. The author gives the historical background, and then concentrates on the recent work of Bamber, Kaye, Kossak, Lascar, Piekart, Schmerl, and himself. The main results of 17 papers published in the years 1984-96 are discussed, as well as the content of some forthcoming papers. A list of open problems is included.