迭代超扩张与 Rado 定理的幂等超滤子证明
逻辑
2013-09-02 v2
摘要
利用非标准分析，特别是迭代超扩张，我们为操作自然数上的超滤子及其伪和的一种独特方式奠定了基础。由此产生的形式体系适用于数论中的 Ramsey 理论应用。为了说明我们技术的用途，我们给出了 Milliken-Taylor 定理的一个（相当）简短的证明，以及关于丢番图方程划分正则性的 Rado 定理的超滤子版本。
引用
@article{arxiv.1304.3009,
title = {Iterated hyper-extensions and an idempotent ultrafilter proof of Rado's theorem},
author = {Mauro Di Nasso},
journal= {arXiv preprint arXiv:1304.3009},
year = {2013}
}
备注
Corrected typos