@misc{indiciae4c8bf0fee062,
  title = {A simple proof of Σ\textasciicircum{}1\_3 correctness of K},
  author = {Ralf Schindler},
  year = {2002},
  url = {https://arxiv.org/abs/math/0201067},
  note = {Source identifier: math/0201067}
}