@misc{indiciaeea9b50cb0d5e,
  title = {Realizability Interpretation of PA by Iterated Limiting PCA},
  author = {Yohji Akama},
  year = {2013},
  doi = {10.1017/s0960129513000856},
  url = {https://arxiv.org/abs/1307.5521},
  note = {Source identifier: 1307.5521}
}