A contribution to the end-extension problem and the _ 1 conservativeness problem

DOI10.1016/0168-0072(93)90196-KMaRDI QIDQ685067zbMATH OpenFDO

Authors Zofia Adamowicz

Publication date 22 September 1993

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(93)90196-K

zbMATH Keywords

end-extensions for bounded arithmetictableau consistency

Mathematics Subject Classification ID

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

Review text

Kirby and Paris asked the following question in 1977: ``Does every model of \(I\Delta_ 0+B\Sigma_ 1\) have a proper end-extension to a model of \(I\Delta_ 0\)? This is known as the ``end-extension problem for bounded arithmetic. The author contributes to the study of this problem formulating a \(\Pi_ 1\) sentence \(\tau\) which is a version of the tableau consistency of \(I\Delta_ 0\), then constructs a model \(M\) of \(I\Delta_ 0+ \Omega_ 1+ \tau+B\Sigma_ 1\) which has no proper end- extension to a model of \(I\Delta_ 0+ \Omega_ 1+\tau\), and also proves that \(I\Delta_ 0+ \Omega_ 1+\tau\) is not \(\Pi_ 1\) conservative over \(I\Delta_ 0+\tau\).

Recommendations

• End extensions of models of fragments of \(\mathrm{PA}\)
• End-extending models of IΔ_0 + exp + ΒΣ_1
• On end extensions of models of subsystems of Peano arithmetic
• On two problems concerning end extensions
• scientific article; zbMATH DE number 4137758

Cites work

• A Note on BΣ_n and an Intermediate Induction Schema
• A sharp version of the bounded Matijasevich conjecture and the end-extension problem
• scientific article; zbMATH DE number 4137758 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• On maximal theories
• On the scheme of induction for bounded arithmetic formulas

Cited in

(11)

• Well-behaved principles alternative to bounded induction
• End extensions of models of fragments of \(\mathrm{PA}\)
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• End-extensions of models of weak arithmetic from complexity-theoretic containments
• On the End Extension Problem For Δ0-PA(S)
• End-extending models of IΔ_0 + exp + ΒΣ_1
• A sharp version of the bounded Matijasevich conjecture and the end-extension problem
• scientific article; zbMATH DE number 1303439 (Why is no real title available?)
• On Wilkie and Paris's notion of fullness
• On end extensions of models of subsystems of Peano arithmetic
• Preservation theorems and restricted consistency statements in bounded arithmetic

This page was built for publication: A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem

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