Truth definitions in finite models. - Leszek Aleksander Kolodziejczyk (J. Symb. Log., 2004)

A finite model-theoretical proof of a property of bounded query classes within PH. - Leszek Aleksander Kolodziejczyk (J. Symb. Log., 2004)

Well-behaved principles alternative to bounded induction. - Zofia Adamowicz; Leszek Aleksander Kolodziejczyk (Theor. Comput. Sci., 2004)

On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories. - Leszek Aleksander Kolodziejczyk (J. Symb. Log., 2006)

The Polynomial and Linear Hierarchies in V0. - Leszek Aleksander Kolodziejczyk; Neil Thapen (CiE, 2007)

Partial collapses of the Sigma1 complexity hierarchy in models for fragments of bounded arithmetic. - Zofia Adamowicz; Leszek Aleksander Kolodziejczyk (Ann. Pure Appl. Log., 2007)

The polynomial and linear hierarchies in models where the weak pigeonhole principle fails. - Leszek Aleksander Kolodziejczyk; Neil Thapen (J. Symb. Log., 2008)

The polynomial and linear time hierarchies in V0. - Leszek Aleksander Kolodziejczyk; Neil Thapen (Math. Log. Q., 2009)

The strength of sharply bounded induction requires MSP. - Sedki Boughattas; Leszek Aleksander Kolodziejczyk (Ann. Pure Appl. Log., 2010)

A note on the Sigma1 collection scheme and fragments of bounded arithmetic. - Zofia Adamowicz; Leszek Aleksander Kolodziejczyk (Math. Log. Q., 2010)

Independence results for variants of sharply bounded induction. - Leszek Aleksander Kolodziejczyk (Ann. Pure Appl. Log., 2011)

The provably total NP search problems of weak second order bounded arithmetic. - Leszek Aleksander Kolodziejczyk; Phuong Nguyen 001; Neil Thapen (Ann. Pure Appl. Log., 2011)

Truth definitions without exponentiation and the Σ₁ collection scheme. - Zofia Adamowicz; Leszek Aleksander Kolodziejczyk; Jeff B. Paris (J. Symb. Log., 2012)

Real closures of models of weak arithmetic. - Emil Jerábek; Leszek Aleksander Kolodziejczyk (Arch. Math. Log., 2013)

Solutions in XML data exchange. - Mikolaj Bojanczyk; Leszek Aleksander Kolodziejczyk; Filip Murlak (J. Comput. Syst. Sci., 2013)

Small Stone in Pool. - Samuel R. Buss; Leszek Aleksander Kolodziejczyk (Log. Methods Comput. Sci., 2014)

Fragments of Approximate Counting. - Samuel R. Buss; Leszek Aleksander Kolodziejczyk; Neil Thapen (J. Symb. Log., 2014)

Categorical characterizations of the natural numbers require primitive recursion. - Leszek Aleksander Kolodziejczyk; Keita Yokoyama (Ann. Pure Appl. Log., 2015)

How unprovable is Rabin's decidability theorem? - Leszek Aleksander Kolodziejczyk; Henryk Michalewski (LICS, 2016)

End-Extensions of Models of Weak Arithmetic from Complexity-Theoretic Containments. - Leszek Aleksander Kolodziejczyk (J. Symb. Log., 2016)

Some Subsystems of Constant-Depth Frege with Parity. - Michal Garlík; Leszek Aleksander Kolodziejczyk (ACM Trans. Comput. Log., 2018)

Polynomial calculus space and resolution width. - Nicola Galesi; Leszek Aleksander Kolodziejczyk; Neil Thapen (Electron. Colloquium Comput. Complex., 2019)

The logical strength of Büchi's decidability theorem. - Leszek Aleksander Kolodziejczyk; Henryk Michalewski; Cécilia Pradic; Michal Skrzypczak (Log. Methods Comput. Sci., 2019)

New bounds on the strength of some restrictions of Hindman's Theorem. - Lorenzo Carlucci; Leszek Aleksander Kolodziejczyk; Francesco Lepore; Konrad Zdanowski (Comput., 2020)

In Search of the First-Order Part of Ramsey's Theorem for Pairs. - Leszek Aleksander Kolodziejczyk; Keita Yokoyama (CiE, 2021)

Weaker cousins of Ramsey's theorem over a weak base theory. - Marta Fiori-Carones; Leszek Aleksander Kolodziejczyk; Katarzyna W. Kowalik (Ann. Pure Appl. Log., 2021)

Approximate counting and NP search problems. - Leszek Aleksander Kolodziejczyk; Neil Thapen (J. Math. Log., 2022)

How Strong is Ramsey's Theorem if infinity can be Weak? - Leszek Aleksander Kolodziejczyk; Katarzyna W. Kowalik; Keita Yokoyama (J. Symb. Log., 2023)

The Strength of the Dominance Rule. - Leszek Aleksander Kolodziejczyk; Neil Thapen (SAT, 2024)

Ramsey's theorem for pairs, collection, and proof size. - Leszek Aleksander Kolodziejczyk; Tin Lok Wong; Keita Yokoyama (J. Math. Log., 2024)