Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories

Saeed Salehi

We formalize the notion of Herbrand Consistency in an appropriate way for bounded arithmetics, and show the existence of a finite fragment of $\mathrm{I}{\mathrm{\Delta }}_0$ whose Herbrand Consistenc…