Cross-constraint 基准定理与分区的乘积
逻辑
2024-07-03 v1
摘要
我们既概述又扩展了 Liu 所提出的一种新技术，用于证明可计算归约性下，Ramsey 类型定理乘积之间的分离定理。我们使用这一技术表明，n 元组和三色的 Ramsey 定理不可计算归约到 n 元组和二色的 Ramsey 定理的有限乘积。
引用
@article{arxiv.2407.02206,
title = {Cross-constraint basis theorems and products of partitions},
author = {Julien Cervelle and William Gaudelier and Ludovic Levy Patey},
journal= {arXiv preprint arXiv:2407.02206},
year = {2024}
}
备注
35 pages