Pages that link to "Item:Q2773372"
From MaRDI portal
The following pages link to Herbrand consistency and bounded arithmetic (Q2773372):
Displaying 3 items.
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- Herbrand consistency of some finite fragments of bounded arithmetical theories (Q2377353) (← links)
