“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 12801 |
|
| Abstract: | |
|
We formalize the notion of Herbrand Consistency in an appropriate way for bounded arithmetics, and show the existence of a finite fragment of IÎ0 whose Herbrand Consistency is not provable in IÎ0. We also show the existence of an IÎ0-derivable Î 1-sentence such that IÎ0 cannot prove its Herbrand Consistency.
Download TeX format |
|
| back to top | |
