scientific article; zbMATH DE number 3745156

MaRDI QIDQ3931384zbMATH OpenFDO

Authors Jeff Paris, C. Dimitracopoulos

Publication date 1982

zbMATH Keywords

lower bounddelta-zero setsnon-standard model of true arithmeticStockmeyer hierarchy

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Cited in

(6)

• A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• \(\Sigma_ 1^ 1\)-formulae on finite structures
• The second incompleteness theorem and bounded interpretations
• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
• On two problems concerning end extensions

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 Q3931384)