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…