Pages that link to "Item:Q2915894"

The following pages link to Herbrand consistency of some arithmetical theories (Q2915894):

Displaying 9 items.

• The second incompleteness theorem and bounded interpretations (Q454368) (← links)
• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
• Remarks on Herbrand normal forms and Herbrand realizations (Q1813063) (← links)
• Saturated models of universal theories (Q1861531) (← links)
• Herbrand consistency of some finite fragments of bounded arithmetical theories (Q2377353) (← links)
• Herbrand consistency and bounded arithmetic (Q2773372) (← links)
• Separating bounded arithmetical theories by Herbrand consistency (Q2893322) (← links)
• Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics (Q3083669) (← links)
• On Herbrand consistency in weak arithmetic (Q5950714) (← links)