Infinitary definitions of equivalence relations in models of PA (Q1377633)

In ``A Galois correspondence for countable recursively saturated models of Peano Arithmetic'' [in: R. Kaye and H. D. Macpherson (eds.), Automorphisms of first-order structures, 293-312 (1994; Zbl 0824.03015)], \textit{R. Kaye} proves a general theorem characterizing closed normal subgroups of the automorphism group of a recursively saturated model of PA in terms of pointwise stabilizers of initial segments of the model. A corollary of this result is that, if \(\equiv\) is an \(\Aut(M)\)-invariant equivalence relation on a countable recursively saturated model \(M\) of PA, then there is an \(\Aut(M)\)-invariant initial segment \(I\) of \(M\) such that the group of automorphisms \(g\) of \(M\), for which \(g(a)\equiv a\), for all \(a\in M\), is the pointwise stabilizer of \(I\). In the paper under review, Kaye gives more information about the relationship between \(\equiv\) and \(I\). He also discusses other consequences of his theorem on closed normal subgroups and states some open problems.