Publications

Journal: Annals of Pure and Applied Logic

Number of publications: 10

2024

• Tomasz Weiss, Piotr Zakrzewski , On countably perfectly meager and countably perfectly null sets, Annals of Pure and Applied Logic, 175 (1A) 2024, p. 103357: 1-9. See in PBN

2021

• Marta Fiori Carones, Leszek Kołodziejczyk , Katarzyna W. Kowalik, Weaker cousins of Ramsey's theorem over a weak base theory, Annals of Pure and Applied Logic, 172 (10) 2021, p. 103028:1-103028:4. See in PBN

2019

• Daniel Hoffmann , Model theoretic dynamics in Galois fashion, Annals of Pure and Applied Logic, 170 (7) 2019, p. 755-804. See in PBN

2015

• Leszek Kołodziejczyk , Keita Yokoyama, Categorical characterizations of the natural numbers require primitive recursion, Annals of Pure and Applied Logic, 2015. See in PBN

2011

• Leszek Kołodziejczyk , Independence results for variants of sharply bounded induction, Annals of Pure and Applied Logic, 2011. See in PBN
• Leszek Kołodziejczyk , Phuong Nguyen, Neil Thapen, The provably total NP search problems of weak second order bounded arithmetic, Annals of Pure and Applied Logic, 2011. See in PBN

2010

• Sedki Boughattas, Leszek Kołodziejczyk , The strength of sharply bounded induction requires MSP, Annals of Pure and Applied Logic, 2010. See in PBN

2007

• Zofia Adamowicz, Leszek Kołodziejczyk , Partial collapses of the $\Sigma_1$ complexity hierarchy in models for fragments of bounded arithmetics, Annals of Pure and Applied Logic, 2007. See in PBN

1997

• Silvio Ghilardi, Marek Zawadowski , Model completions and r-Heyting categories, Annals of Pure and Applied Logic, 1997. See in PBN

1995

• Marek Zawadowski , Descent and duality, Annals of Pure and Applied Logic, 1995. See in PBN