scientific article
From MaRDI portal
Publication:3931384
zbMath0475.03033MaRDI QIDQ3931384
Constantine Dimitracopoulos, Jeffrey Bruce Paris
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), The second incompleteness theorem and bounded interpretations, On two problems concerning end extensions, A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\), Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem, \(\Sigma_ 1^ 1\)-formulae on finite structures