A note on a theorem of Kanovei (Q701750)

The author gives a new proof of a theorem of \textit{V. Kanovei} [``On `star' schemata of Kossak and Paris'', Lect. Notes Log. 12, 101--114 (1998; Zbl 0917.03019)]. Using the standard notations of elementary Peano arithmetic [see the book of \textit{P. Hájek} and \textit{P. Pudlák}, Metamathematics of first-order arithmetic. Berlin: Springer (1998; Zbl 0889.03053)], the theorem is formulated in the following way. Theorem 0.3. Let \(M\) be a countable recursively saturated model of PA. Then, for each \(n>0\), (i) \(M\) has an elementary end extension \(N\) such that \[ (M,SSy(N/M))\models I\Sigma_n+\neg B{\Sigma}_{n+1}; \] (ii) \(M\) has an elementary end extension \(N\) such that \[ (M,SSy(N/M))\models B\Sigma_n+\neg I{\Sigma}_n. \] In the note, only statement (i) and only in the case \(n>1\) are proved because the case \(n=1\) was already proved [\textit{R.Kossak} and \textit{J. B.Paris}, ``Subsets of models of arithmetic'', Arch. Math. Logic 32, 65--73 (1992; Zbl 0786.03027)]. In the final part, the author poses an open problem: Characterize the class of countable models of PA for which Theorem 0.3 holds.