Cross-constraint basis theorems and products of partitions - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

Cross-constraint basis theorems and products of partitions

Résumé

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 show that Ramsey's theorem for $n$-tuples and three colors is not computably reducible to finite products of Ramsey's theorem for $n$-tuples and two colors.
Fichier principal
Vignette du fichier
cross-constraint.pdf (489.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04633211 , version 1 (03-07-2024)

Identifiants

Citer

Julien Cervelle, William Gaudelier, Ludovic Levy Patey. Cross-constraint basis theorems and products of partitions. 2024. ⟨hal-04633211⟩
66 Consultations
9 Téléchargements

Altmetric

Partager

More