Yamagata, Yoriyuki - Bounded Arithmetic in Free Logic

lmcs:863 - Logical Methods in Computer Science, August 10, 2012, Volume 8, Issue 3
Bounded Arithmetic in Free Logic

Authors: Yamagata, Yoriyuki

One of the central open questions in bounded arithmetic is whether Buss' hierarchy of theories of bounded arithmetic collapses or not. In this paper, we reformulate Buss' theories using free logic and conjecture that such theories are easier to handle. To show this, we first prove that Buss' theories prove consistencies of induction-free fragments of our theories whose formulae have bounded complexity. Next, we prove that although our theories are based on an apparently weaker logic, we can interpret theories in Buss' hierarchy by our theories using a simple translation. Finally, we investigate finitistic G\"odel sentences in our systems in the hope of proving that a theory in a lower level of Buss' hierarchy cannot prove consistency of induction-free fragments of our theories whose formulae have higher complexity.

Source : oai:arXiv.org:1201.3733
DOI : 10.2168/LMCS-8(3:7)2012
Volume: Volume 8, Issue 3
Published on: August 10, 2012
Submitted on: March 5, 2012
Keywords: Mathematics - Logic,Computer Science - Logic in Computer Science,cs.LO


Consultation statistics

This page has been seen 32 times.
This article's PDF has been downloaded 20 times.