高阶逆数学中的幂等超滤子
逻辑
2015-04-09 v2
摘要
我们分析了高阶逆数学中幂等超滤子存在性的强度。设 (Uidem) 为自然数上存在幂等超滤子的陈述。我们证明，在 （即 的高阶扩展）之上，陈述 (Uidem) 蕴含迭代 Hindman 定理 (IHT)；并且我们证明 + (Uidem) 相对于 + IHT 是 -保守的，因而相对于 也是 -保守的。
引用
@article{arxiv.1208.1424,
title = {On idempotent ultrafilters in higher-order reverse mathematics},
author = {Alexander P. Kreuzer},
journal= {arXiv preprint arXiv:1208.1424},
year = {2015}
}