scientific article

zbMath0695.03019MaRDI QIDQ3470461

Jeffrey Bruce Paris, A. J. Wilkie

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

end extension\(\Sigma _ 1\)-collectionbounded quantifier hierarchymodel of bounded induction

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (13)

Binary models generated by their tally part ⋮ 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 linearly bounded arithmetic ⋮ On Extensions of Models of Strong Fragments of Arithmetic ⋮ MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE ⋮ End extensions of models of fragments of \(\mathrm{PA}\) ⋮ On Wilkie and Paris’s notion of fullness ⋮ Exponentiation and second-order bounded arithmetic ⋮ On axiom schemes for \(T\)-provably \(\Delta_1\) formulas ⋮ Truth definition for $\Delta _ 0$ formulas and PSPACE computations ⋮ 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\)

This page was built for publication: