A note on the Sigma<sub>1</sub> collection scheme and fragments of bounded arithmetic.

Zofia Adamowicz Leszek Aleksander Kolodziejczyk A note on the Sigma<sub>1</sub> collection scheme and fragments of bounded arithmetic. 126-130 2010 56 Math. Log. Q. 2 http://dx.doi.org/10.1002/malq.200810043 db/journals/mlq/mlq56.html#AdamowiczK10