A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem (Q685067): Difference between revisions

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