Publikacje

Czasopismo: Mathematical Logic Quarterly

2010

• Zofia Adamowicz, Leszek Kołodziejczyk , A note on the $\Sigma_1$ collection scheme and fragments of bounded arithmetic, Mathematical Logic Quarterly, 2010. Zobacz w PBN

2009

• Leszek Kołodziejczyk , Neil Thapen, The polynomial and linear time hierarchies in $V^0$, Mathematical Logic Quarterly, 2009. Zobacz w PBN

2000

• E Rosen, Jerzy Tyszkiewicz , SO(AE*) sentences and their asymptotic probabilities, Mathematical Logic Quarterly, 2000. Zobacz w PBN