scientific article; zbMATH DE number 1295215

MaRDI QIDQ4248092zbMATH OpenFDO

Authors Peter Clote

Publication date 3 June 1999

Full work available at URL https://eudml.org/doc/212317

zbMATH Keywords

bounded inductioncomplete ultrafiltercountable modelelementary end extensionmodels of arithmeticpriority methodultrapower

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Review text

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).

Recommendations

• A note on end extensions
• A note on the Mac Dowell-Specker theorem
• A Correction to "On Extensions of Models of Strong Fragments of Arithmetic"
• End extensions of models of arithmetic

Cited in

(4)

• End extensions of models of fragments of \(\mathrm{PA}\)
• A Correction to "On Extensions of Models of Strong Fragments of Arithmetic"
• A note on the Mac Dowell-Specker theorem
• On end extensions of models of subsystems of Peano arithmetic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4248092)