No label defined (Q4248092)

In my paper, ``A note on the MacDowell-Specker theorem'' [Fundam. Math. 127, 163-170 (1987; Zbl 0619.03038)], there is a serious gap in one of the arguments. This was pointed out by K. Skandalis to C. Dimitracopoulos, during a series of talks given by Dimitracopoulos on end extensions at the University of Crete. Since I cannot bridge the gap of the argument, I formally retract the claimed theorem. What does follow from the techniques of the paper is that for \(n\geq 2\), if \(M\vDash I\Sigma_n\) is of any cardinality, then \(M\) admits an \(n\)-elementary end extension \(K \vDash I\Delta_0\). After becoming aware of the gap in my original argument, \textit{C. Dimitracopoulos} and \textit{C. Cornaros} proved the latter statement in a different manner, using a modification of the arithmetized completeness theorem. This and other results are presented in their paper ``A note on end extensions'' (to appear).