Back to the list of the institutes
Publications
Journal: Annals of Pure and Applied Logic
Number of publications: 102024
- 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