scientific article
From MaRDI portal
Publication:3367334
zbMath1095.03065MaRDI QIDQ3367334
Publication date: 24 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Passive induction and a solution to a Paris-Wilkie open question ⋮ The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem ⋮ A generalization of the second incompleteness theorem and some exceptions to it ⋮ Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
This page was built for publication:
