Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Cross-constraint basis theorems and products of partitions
Julien Cervelle, William Gaudelier, Ludovic Levy Patey
We both survey and extend a new technique from Lu Liu to prove separation theorems between products of Ramsey-type theorems over computable reducibility. We use this technique to s…
math.LO2022
The Reverse Mathematics of CAC for trees
Julien Cervelle, William Gaudelier, Ludovic Patey
CAC for trees is the statement asserting that any infinite subtree of has an infinite path or an infinite antichain. In this paper, we study the computat…