Division in the Theory S02+ of Bounded Arithmetic

スポンサーリンク

概要

• 論文の詳細を見る

• 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.

• 東北大学の論文

著者

• Tada Mitsuru

  Ecip & Gsis Tohoku University

関連論文

• Division in the Theory S02+ of Bounded Arithmetic

スポンサーリンク