摘要
The article shows a simple way of calibrating the strength of the theory of positive induction, ID1*.Crucially the proof exploits the equivalence of Sigma(1)(1) dependent choice and omega-model reflection for pi(1)(2) formulae over ACA(0). Unbeknown to the authors, D. Probst had already determined the proof-theoretic strength of ID1* in Probst, J Symb Log, 71, 721-746, 2006.
- 出版日期2010-3