@misc{indiciae656dc8d7c1a2,
  title = {Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic},
  author = {Ján Pich},
  year = {2015},
  doi = {10.2168/lmcs-11(2:8)2015},
  url = {https://arxiv.org/abs/1412.3246},
  note = {Source identifier: 1412.3246}
}