40 citations · 49 across the 10 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018★ 1 cited
Approximate counting and NP search problems
Leszek Aleksander Kołodziejczyk, Neil Thapen
We study a new class of NP search problems, those which can be proved total using standard combinatorial reasoning based on approximate counting. Our model for this kind of reasoni…
math.CO2018
Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
Leszek Aleksander Kołodziejczyk, Keita Yokoyama
We study Ramsey's theorem for pairs and two colours in the context of the theory of -large sets introduced by Ketonen and Solovay. We prove that any -colouring of pairs from…