3 papers
math.LO2026
Tightness and solidity in fragments of Peano Arithmetic
Piotr Gruza, Leszek Aleksander KoÅodziejczyk, Mateusz ÅeÅyk
It was shown by Visser that Peano Arithmetic has the property that any two bi-interpretable extensions of it (in the same language) are equivalent. Enayat proposed to refer to this…
math.LO2026
The cohesive and stable Ramsey theorems and proof size over a weak base theory
Leszek Aleksander KoÅodziejczyk, Mengzhou Sun
We show that over the weak base theory , cohesive Ramsey's theorem for pairs implies exponential closure of the definable cut ,…
cs.LO2024
The strength of the dominance rule
Leszek Aleksander KoÅodziejczyk, Neil Thapen
It has become standard that, when a SAT solver decides that a CNF is unsatisfiable, it produces a certificate of unsatisfiability in the form of a refutation of in some p…