A note on end extensions (Q1584015)

In ``A note on the MacDowell-Specker theorem'' [Fundam. Math. 127, 163-170 (1987; Zbl 0619.03038)], \textit{P. Clote} gave a proof that, for \(n\geq 2\), every model of B\(\Sigma_n\) has a proper \(\Sigma_n\)-elementary end extension. C. Dimitracopoulos and K. Skandalis discovered a gap in Clote's proof. The proof still gives the result if B\(\Sigma_n\) is replaced with a stronger hypothesis I\(\Sigma_n\) [see \textit{P. Clote}, ``Addendum to: `A note on the MacDowell-Specker theorem' '', Fundam. Math. 158, 301-302 (1998; Zbl 0924.03108)]. Clote's proof is recursion theoretic. The authors give an alternative proof based on a refinement of the arithmetized completeness theorem due to J. Paris.