Open induction in a bounded arithmetic for TC^0

Emil Jeřábek

The elementary arithmetic operations $+,\cdot ,\le$ on integers are well-known to be computable in the weak complexity class ${\mathrm{TC}}^0$, and it is a basic question what propert…