Publikacje

Czasopismo: Annals of Pure and Applied Logic

Liczba publikacji: 10

2024

• Tomasz Weiss, Piotr Zakrzewski , On countably perfectly meager and countably perfectly null sets, Annals of Pure and Applied Logic, 175 (1A) 2024, s. 103357: 1-9. Zobacz w 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, s. 103028:1-103028:4. Zobacz w PBN

2019

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

2015

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

2011

• Leszek Kołodziejczyk , Independence results for variants of sharply bounded induction, Annals of Pure and Applied Logic, 2011. Zobacz w 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. Zobacz w PBN

2010

• Sedki Boughattas, Leszek Kołodziejczyk , The strength of sharply bounded induction requires MSP, Annals of Pure and Applied Logic, 2010. Zobacz w 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. Zobacz w PBN

1997

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

1995

• Marek Zawadowski , Descent and duality, Annals of Pure and Applied Logic, 1995. Zobacz w PBN