scientific article; zbMATH DE number 4137758
From MaRDI portal
Publication:3470461
zbMATH Open0695.03019MaRDI QIDQ3470461FDOQ3470461
Authors: A. J. Wilkie, Jeff Paris
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
Cited In (16)
- A sharp version of the bounded Matijasevich conjecture and the end-extension problem
- A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
- Exponentiation and second-order bounded arithmetic
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- On Extensions of Models of Strong Fragments of Arithmetic
- 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
- On Wilkie and Paris's notion of fullness
- Binary models generated by their tally part
- On collection schemes and Gaifman's splitting theorem
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
- Truth definition for \(\Delta_0\) formulas and PSPACE computations
- New models of bounded induction axioms
- End extensions of models of linearly bounded arithmetic
- End extensions of models of fragments of \(\mathrm{PA}\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3470461)