A Small Reflection Principle for Bounded Arithmetic Author ( s ) :

@inproceedings{Verbrugge2007ASR,
  title={A Small Reflection Principle for Bounded Arithmetic Author ( s ) :},
  author={Rineke Verbrugge and Albert Visser},
  year={2007}
}
We investigate the theory IAo + Q, and strengthen [Bu86. Theorem 8.6] to the following: if NP 7 co-NP. then 1-completeness for witness comparison foumulas is not provable in bounded arithmetic.