@misc{indiciaed05987fad8ab,
  title = {Open induction in a bounded arithmetic for TC\textasciicircum{}0},
  author = {Emil Jeřábek},
  year = {2014},
  doi = {10.1007/s00153-014-0414-7},
  url = {https://arxiv.org/abs/1404.7435},
  note = {Source identifier: 1404.7435}
}