Automorphisms of countable recursively saturated models of PA: A survey
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.
countable recursively saturated models of Peano Arithmetic
scientific article; zbMATH DE number 881253
scientific article