Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
Logic
2017-01-11 v2 Computational Complexity
Abstract
We present several known formalizations of theorems from computational complexity in bounded arithmetic and formalize the PCP theorem in the theory PV1 (no formalization of this theorem was known). This includes a formalization of the existence and of some properties of the (n,d,{\lambda})-graphs in PV1.
Keywords
Cite
@article{arxiv.1412.3246,
title = {Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic},
author = {Ján Pich},
journal= {arXiv preprint arXiv:1412.3246},
year = {2017}
}