Division in the Theory S02+ of Bounded Arithmetic.

DOI IR IR (HANDLE)

Search this article

Description

It is known that division by some constant m is provably total in the theory S20, if and only if the constant m is of the form 2n for some n. In this paper, we prove that also in the theory S2+0 which is a little stronger than S20, the same statement holds by using the Johannsen’s method on the division in S2+0.

Journal

Keywords

Details 詳細情報について

Report a problem

Back to top