2 papers
math.LO2026
The strength of Ramsey's theorem for -large sets
Lorenzo Carlucci, Andrea Volpi, Konrad Zdanowski
We calibrate the reverse mathematical strength of a family of extensions of Ramsey's theorem to finite colorings of certain subsets of the natural numbers of unbounded finite dimen…
cs.LO2024
Between proof construction and SAT-solving
Aleksy Schubert, PaweÅ Urzyczyn, Konrad Zdanowski
The classical satisfiability problem (SAT) is used as a natural and general tool to express and solve combinatorial problems that are in NP. We postulate that provability for impli…