scientific article; zbMATH DE number 4137758

MaRDI QIDQ3470461zbMATH OpenFDO

Authors A. J. Wilkie, Jeff Paris

Publication date 1989

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Recommendations

• End extensions of models of fragments of \(\mathrm{PA}\)
• On two problems concerning end extensions
• On the End Extension Problem For Δ0-PA(S)
• End-extending models of $IΔ_0 + exp + ΒΣ_1$
• A sharp version of the bounded Matijasevich conjecture and the end-extension problem

Cited in

(16)

• A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
• A sharp version of the bounded Matijasevich conjecture and the end-extension problem
• 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 axiom schemes for \(T\)-provably \(\Delta_1\) formulas
• On collection schemes and Gaifman's splitting theorem
• 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)