Relative computability and the proof−theoretic strength of some theories - Afshari, B (2008)