A note on the Sigma::1:: collection scheme and fragments of bounded arithmetic

Zofia Adamowicz, Leszek Aleksander Kolodziejczyk. A note on the Sigma::1:: collection scheme and fragments of bounded arithmetic. Math. Log. Q., 56(2):126-130, 2010. [doi]

Abstract

Abstract is missing.