The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts

Saeideh Bahrami

In this paper, we extend the concept of a Lascar generic automorphism in the setting of models of Peano arithmetic ($\mathrm{PA}$) to the subgroup of the automorphism group of a co…