论加性拉姆齐定理的 Weihrauch 度
计算机科学中的逻辑
2023-12-05 v2 逻辑
摘要
我们从 Weihrauch 度的角度刻画了若干与有理数及自然数着色相关的类拉姆齐定理问题的强度。我们主要关注的一些定理断言：对于满足由着色集上某种附加代数结构所确定性质的有理数对或自然数对着色，存在几乎齐性集。在逆数学语境中，我们所研究的大部分原理在 上与 -归纳等价。Weihrauch 格中相关联的问题则依赖于其精确形式化，分别与 、 或其乘积相关。
引用
@article{arxiv.2301.02833,
title = {On the Weihrauch degree of the additive Ramsey theorem},
author = {Arno Pauly and Cécilia Pradic and Giovanni Solda},
journal= {arXiv preprint arXiv:2301.02833},
year = {2023}
}