波尔查诺-魏尔斯特拉斯原则在序数方面的扩展
摘要：博尔扎诺-韦尔斯特拉斯选择原则是集合论中最古老的方法，传统上被用于数学分析。我们将其扩展到由序数索引的无穷序列的步骤上。我们引入了“徒步者的路径”、“徒步者的地图”和语句$P\_n(X, Y, m)$的概念；在有限、可数和不可数的情况下都可以类似地使用。还提供了一些应用，包括对Ramsey定理和Erdos-Rado定理的新证明。
作者：W. Kulpa, Sz. Plewik and M. Turza''nski
论文ID：math/0606028
分类：Logic
分类简称：math.LO
提交时间：2007-05-23