A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
From MaRDI portal
Publication:685067
DOI10.1016/0168-0072(93)90196-KzbMath0790.03055MaRDI QIDQ685067
Publication date: 22 September 1993
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Related Items (4)
Well-behaved principles alternative to bounded induction ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Preservation theorems and restricted consistency statements in bounded arithmetic ⋮ End extensions of models of fragments of \(\mathrm{PA}\)
Cites Work
This page was built for publication: A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem