Back to the list of the institutes
Publications
Journal: Mathematical Logic Quarterly
Number of publications: 32010
- Zofia Adamowicz, Leszek Kołodziejczyk , A note on the $\Sigma_1$ collection scheme and fragments of bounded arithmetic, Mathematical Logic Quarterly, 2010. See in PBN
2009
- Leszek Kołodziejczyk , Neil Thapen, The polynomial and linear time hierarchies in $V^0$, Mathematical Logic Quarterly, 2009. See in PBN
2000
- E Rosen, Jerzy Tyszkiewicz , SO(AE*) sentences and their asymptotic probabilities, Mathematical Logic Quarterly, 2000. See in PBN