Separating Bounded Arithmetics by Herbrand Consistency

Details Separating Bounded Arithmetics by Herbrand Consistency Separating Bounded Arithmetics by Herbrand Consistency

2010-08-02

arxiv.org/abs/1008.0225v2

Mathematics

Logic

14 pages; Keywords: Bounded Arithmetics, Herbrand Consistency, $\Pi_1-$Conservative Extensions

Scientific paper

10.1093/logcom/exr005

The problem of $\Pi_1-$separating the hierarchy of bounded arithmetic has been studied in the paper. It is shown that the notion of Herbrand Consistency, in its full generality, cannot $\Pi_1-$separate the theory ${\rm I\Delta_0+\bigwedge_j\Omega_j}$ from ${\rm I\Delta_0}$; though it can $\Pi_1-$separate ${\rm I\Delta_0+Exp}$ from ${\rm I\Delta_0}$. This extends a result of L. A. Ko{\l}odziejczyk (2006), by showing the unprovability of the Herbrand Consistency of ${\rm I\Delta_0}$ in the theory ${\rm I\Delta_0+\bigwedge_j\Omega_j}$.

Affiliated with

Also associated with

No associations

Rating

Separating Bounded Arithmetics by Herbrand Consistency does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Separating Bounded Arithmetics by Herbrand Consistency, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Separating Bounded Arithmetics by Herbrand Consistency will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-52404