@misc{indiciaeb38f10e8a347,
  title = {Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory},
  author = {Jacob Cook and Michael Rathjen},
  year = {2016},
  url = {https://arxiv.org/abs/1603.03358},
  note = {Source identifier: 1603.03358}
}