scientific article; zbMATH DE number 3745156

zbMATH Open0475.03033MaRDI QIDQ3931384FDOQ3931384

Authors: Jeff Paris, C. Dimitracopoulos 

Publication date: 1982

Title of this publication is not available (Why is that?)

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)