“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Î0derivable Î 1sentence such that IÎ0 cannot prove its Herbrand Consistency.
Download TeX format 

back to top 