@misc{indiciae0cbe0849f106,
  title = {On principles between \$Σ\_1\$- and \$Σ\_2\$-induction, and monotone enumerations},
  author = {Alexander P. Kreuzer and Keita Yokoyama},
  year = {2015},
  url = {https://arxiv.org/abs/1306.1936},
  note = {Source identifier: 1306.1936}
}