The function $\lfloor a/m\rfloor$ in sharply bounded arithmetic

Abstract.

This paper proves that the division operation $\lfloor a/m\rfloor$ is provably total in the system $S_2^0$ of bounded arithmetic if and only if $m$ is of the form $2^n$ for some $n$.