End extensions of models of fragments of PA

DOI10.1007/S00153-019-00708-4MaRDI QIDQ2204367zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 15 October 2020

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-019-00708-4

zbMATH Keywords

arithmetized completeness theoremend extensionsfragments of Peano arithmetic

Mathematics Subject Classification ID

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

Review text

\textit{J. B. Paris} and \textit{L. A. S. Kirby} showed in [Stud. Logic Found. Math. Vol. 96, 199--209 (1978; Zbl 0442.03042)] that for all \(n>1\), a countable model \(M\) of bounded induction \(I\Delta_0\) satisfies the \(\Sigma_n\)-collection schema \(B\Sigma_n\) if and only \(M\) has a proper \(\Sigma_n\)-elementary end extension to a model of \(I\Delta_0\). In an attempt to generalize this to models of arbitrary cardinality, \textit{P. G. Clote} [Fundam. Math. 127, 163--170 (1987; Zbl 0619.03038); Fundam. Math. 158, No. 3, 301--302 (1998; Zbl 0924.03108)] proved that for all \(n>1\), every model of \(I\Sigma_n\) has a proper \(\Sigma_n\)-elementary extension to a model of \(I\Delta_0\). In his proof Clote [loc. cit.], uses a restricted ultrapower construction. The authors give another, detailed proof of Clote's result [loc. cit.] using a subtle version of the arithmetized completeness theorem. In Section 3 of the paper, that proof is modified to obtain a new result: every model of \(I\Sigma_1\) has an proper end extension satisfying \(I\Delta_0\). The authors acknowledge that the same result can be proved using the results in [\textit{A. Enayat} and \textit{T. L. Wong}, Ann. Pure Appl. Logic 168, No. 6, 1247--1283 (2017; Zbl 1422.03080)]. The notoriously difficult problem whether every model of \(B\Sigma_1\) has an proper end extension satisfying \(I\Delta_0\) is still open. The paper concludes with a list of interesting related open problems.

Recommendations

• On two problems concerning end extensions
• End-extending models of IΔ_0 + exp + ΒΣ_1
• A note on end extensions
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• On end extensions of models of subsystems of Peano arithmetic

Cites work

• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• A note on the Mac Dowell-Specker theorem
• End extensions of models of weak arithmetic theories
• End-extending models of IΔ_0 + exp + ΒΣ_1
• scientific article; zbMATH DE number 440472 (Why is no real title available?)
• scientific article; zbMATH DE number 440479 (Why is no real title available?)
• scientific article; zbMATH DE number 4137758 (Why is no real title available?)
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 3745164 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1295215 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3204609 (Why is no real title available?)
• Interpreting weak König's lemma using the arithmetized completeness theorem
• Models and types of Peano's arithmetic
• On parameter free induction schemas
• On the scheme of induction for bounded arithmetic formulas
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)

Cited in

(17)

• End extensions of models of arithmetic
• End-extensions of models of weak arithmetic from complexity-theoretic containments
• Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
• scientific article; zbMATH DE number 3882429 (Why is no real title available?)
• A Correction to "On Extensions of Models of Strong Fragments of Arithmetic"
• scientific article; zbMATH DE number 4137758 (Why is no real title available?)
• A note on the Mac Dowell-Specker theorem
• End-extending models of IΔ_0 + exp + ΒΣ_1
• A note on the Joint Embedding Property in Fragments of Arithmetic
• scientific article; zbMATH DE number 1222924 (Why is no real title available?)
• scientific article; zbMATH DE number 528856 (Why is no real title available?)
• On Wilkie and Paris's notion of fullness
• On End‐Extensions of Models of ¬exp
• On end extensions of models of subsystems of Peano arithmetic
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• A note on a theorem of Kanovei
• On two problems concerning end extensions

This page was built for publication: End extensions of models of fragments of \(\mathrm{PA}\)

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