@misc{indiciaecc53d02dddfb,
  title = {Proof theory for theories of ordinals III: \$Π\_\{N\}\$-reflection},
  author = {Toshiyasu Arai},
  year = {2010},
  url = {https://arxiv.org/abs/1007.0844},
  note = {Source identifier: 1007.0844}
}