@misc{indiciae52c64d2bf5f5,
  title = {Iterating the recursively Mahlo operations},
  author = {Toshiyasu Arai},
  year = {2010},
  url = {https://arxiv.org/abs/1005.1987},
  note = {Source identifier: 1005.1987}
}