TY  - RPRT
TI  - Open induction in a bounded arithmetic for TC^0
AU  - Emil Jeřábek
PY  - 2014
DO  - 10.1007/s00153-014-0414-7
UR  - https://arxiv.org/abs/1404.7435
ID  - 1404.7435
ER  -