Pages that link to "Item:Q731897"

The following pages link to Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897):

Displayed 1 item.

• 2011 North American Annual Meeting of the Association for Symbolic Logic (Q2893284) ‎ (← links)