极小幂等超滤子与 Auslander-Ellis 定理
逻辑
2015-10-12 v2
摘要
我们利用 Auslander-Ellis 定理及其变体，以逆向数学和高阶逆向数学的风格刻画了（在 N 上）极小幂等超滤子的存在性。我们得出：限制在可数集代数上的极小幂等超滤子的存在性等价于 Auslander-Ellis 定理 (AET)；而作为高阶对象的极小幂等超滤子的存在性，相对于 AET 的一个 refinement 是 -保守的。
引用
@article{arxiv.1305.6530,
title = {Minimal idempotent ultrafilters and the Auslander-Ellis theorem},
author = {Alexander P. Kreuzer},
journal= {arXiv preprint arXiv:1305.6530},
year = {2015}
}