Gowers' FIN$_k$ 定理的一个下界
逻辑
2015-10-08 v1
摘要
Gowers' FIN 定理，也称为 Gowers 鸽巢原理或 Gowers 定理，是一个拉姆齐型定理。它最初出现在巴拿赫空间理论的研究中，是 Hindman 定理的自然推广。在本短注中，我们将证明 Gowers' FIN 定理不能从 ACA 推出。
引用
@article{arxiv.1510.01838,
title = {A lower bound on Gowers' FIN_k theorem},
author = {Alexander P. Kreuzer},
journal= {arXiv preprint arXiv:1510.01838},
year = {2015}
}