Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140)

From the introduction [p.~19]: ``In the present paper we show [by model-theoretic means] that a generalization of Cantini's strict \(\Pi_1^1\)-reflection is \(\Pi_2^0\)-conservative over [Ferreira's] \(F\). [\dots] In the second part we describe a generalization of the bounded collection scheme and show that the generalization we propose is \(\Pi_1^1\)-conservative over this new scheme of bounded collection, which enlarges the scope of the ordinary bounded collection scheme to formulas mentioning bounded sets and binary sequences, and not just binary sequences.''