scientific article; zbMATH DE number 3430656
From MaRDI portal
Publication:5181365
zbMath0274.02036MaRDI QIDQ5181365
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30)
Related Items (2)
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:
