Leszek Aleksander Ko{\l}odziejczyk

Identifiers

No identifiers captured yet.

Papers (5)

1. The cohesive and stable Ramsey theorems and proof size over a weak base theory math.LO · 2026 · author #1
2. Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs math.CO · 2018 · author #1
3. How unprovable is Rabin's decidability theorem? math.LO · 2015 · author #1
4. End-extensions of models of weak arithmetic from complexity-theoretic containments math.LO · 2014 · author #1
5. Categorical characterizations of the natural numbers require primitive recursion math.LO · 2014 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Keita Yokoyama 2 shared papers
• Henryk Michalewski 1 shared papers
• Mengzhou Sun 1 shared papers