Publication:3470461
From MaRDI portal
zbMath0695.03019MaRDI QIDQ3470461
Jeffrey Bruce Paris, A. J. Wilkie
Publication date: 1989
Related Items
On Extensions of Models of Strong Fragments of Arithmetic, On Wilkie and Paris’s notion of fullness, Truth definition for $\Delta _ 0$ formulas and PSPACE computations, MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE, Preservation theorems and restricted consistency statements in bounded arithmetic, A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem, A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\), Exponentiation and second-order bounded arithmetic, Binary models generated by their tally part, End extensions of models of linearly bounded arithmetic, 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\), On axiom schemes for \(T\)-provably \(\Delta_1\) formulas