arXiv math/98040631998-04-14math.LOmath.FA

Ramsey dichotomies with ordinal index

V. Farmaki

备注：: 26 pages

英文摘要：

A system of uniform families on an infinite subset $M$ of $\nn$ is a collection $(\cca_ξ)_{ξ<ω_1}$ of families of finite subsets of $\nn$ (where, $\cca_k$ consists of all $k$--element subset of $M$, for $k\in \nn$) with the properties that each $\cca_ξ$ is thin (i.e. it does not contain proper initial segments of any of its element) and the Cantor--Bendixson index, defined for $\cca_ξ$, is equal to $ξ+1$ and stable when we restrict ourselves to any subset of $M$. We indicate how to extend the generalized Schreier families to a system of uniform families. Using that notion we establish the correct (countable) ordinal index generalization of the classical Ramsey theorem (which corresponds to the finite ordinal indices).

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

The closed ordinal Ramsey number $R^{cl}(ω^2,3) = ω^6$

Closed ordinal Ramsey numbers are a topological variant of the classical (ordinal) Ramsey numbers. We compute the exact value of the closed ordinal Ramsey number $R^{cl}(ω^2,3) = ω^6$.

2019-05-03math.LO

Calculating the closed ordinal Ramsey number $R^{cl}(ω\cdot 2,3)^2$

We show that $R^{cl}(ω\cdot 2,3)^2$ is equal to $ω^3\cdot 2$.

2019-01-07math.LO

Topological Ramsey spaces of equivalence relations and a dual Ramsey theorem for countable ordinals

We define a collection of topological Ramsey spaces consisting of equivalence relations on $ω$ with the property that the minimal representatives of the equivalence classes alternate according to a fixed partition of $ω$. To prove the associated pigeonhole principles, we make use of the left-variable Hales-Jewett theorem and its extension to an infinite alphabet. We also show how to transfer the corresponding infinite-dimensional Ramsey results to equivalence relations on countable limit ordinals (up to a necessary restriction on the set of minimal representatives of the equivalence classes) i…

2021-12-12math.COmath.LO

Local Banach-space dichotomies and ergodic spaces

We prove a local version of Gowers' Ramsey-type theorem [Ann. Math. 156 (2002)], as well as local versions both of the Banach space first dichotomy (the "unconditional/HI" dichotomy) of Gowers [Ann. Math. 156 (2002)] and of the third dichotomy (the "minimal/tight" dichotomy) due to Ferenczi-Rosendal [J. Funct. Anal. 257 (2009)]. This means that we obtain versions of these dichotomies restricted to certain families of subspaces called D-families, of which several concrete examples are given. As a main example, non-Hilbertian spaces form D-families; therefore versions of the above properties for…

2021-10-15math.COmath.FAmath.LO

Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs

We study Ramsey's theorem for pairs and two colours in the context of the theory of $α$-large sets introduced by Ketonen and Solovay. We prove that any $2$-colouring of pairs from an $ω^{300n}$-large set admits an $ω^n$-large homogeneous set. We explain how a formalized version of this bound gives a more direct proof, and a strengthening, of the recent result of Patey and Yokoyama [Adv. Math. 330 (2018), 1034--1070] stating that Ramsey's theorem for pairs and two colours is $\forallΣ^0_2$-conservative over the axiomatic theory $\mathsf{RCA}_0$ (recursive comprehension).

2018-11-09math.COmath.LO

关于小可数序数的闭合Ramsey数

On closed Ramsey numbers of small countable ordinals

Middle East Technical University（中东技术大学）

本文研究了可数序数对的闭合划分关系，证明了闭合Ramsey数的改进上界和下界，同时给出了拓扑划分序数的必要条件。

2026-04-25math.COmath.LO

更多相关论文收起更多论文

Topological Ramsey numbers and countable ordinals

We study the topological version of the partition calculus in the setting of countable ordinals. Let $α$ and $β$ be ordinals and let $k$ be a positive integer. We write $β\to_{top}(α,k)^2$ to mean that, for every red-blue coloring of the collection of 2-sized subsets of $β$, there is either a red-homogeneous set homeomorphic to $α$ or a blue-homogeneous set of size $k$. The least such $β$ is the topological Ramsey number $R^{top}(α,k)$. We prove a topological version of the Erdős-Milner theorem, namely that $R^{top}(α,k)$ is countable whenever $α$ is countable. More precisely, we prove that $R…

2017-04-09math.LO

屏障Ramsey定理

The barrier Ramsey theorem

Università di Udine（乌迪内大学）；University of California, Berkeley（加州大学伯克利分校）

本文提出了一种基于屏障大小的Ramsey定理扩展方法，通过定义Ramsey序数并利用Veblen函数迭代来计算其复杂度。

2026-03-02math.COmath.LO

Ramsey theory over partitions III: Strongly Luzin sets and partition relations

The strongest type of coloring of pairs of countable ordinals, gotten by Todorcevic from a strongly Luzin set, is shown to be equivalent to the existence of a nonmeager set of reals of size $\aleph_1$. In the other direction, it is shown that the existence of both a strongly Luzin set and a coherent Souslin tree is compatible with the existence of a countable partition of pairs of countable ordinals such that no coloring is strong over it. This clarifies the interaction between a gallery of coloring assertions going back to Luzin and Sierpinski a hundred years ago.

2022-04-16math.LO

论不可分球面中距离的 Ramsey 型性质

On Ramsey-type properties of the distance in nonseparable spheres

本文研究不可分 Banach 空间中不可数子集距离的 Ramsey 型二分性质，在 ZFC、OCA+MA 及描述复杂性假设下给出几何二分法与反 Ramsey 构造，并综合密度不超过 $2^ω$ 情形的分类结果。

2024-08-09math.FAmath.GNmath.LO

Ramsey 定理对 α- 大集合的强度

The strength of Ramsey's theorem for $α$-large sets

Sapienza University of Rome（罗马智慧大学）；University of Udine（乌迪内大学）；Cardinal Stefan Wyszynski University（红衣主教斯特凡·维辛斯基大学）

本文研究了Ramsey定理对有限颜色的特定自然数子集的反向数学强度，通过分析RT!α_k原理，揭示了可数不可分解的Γ0以下序数与自然Ramsey型定理之间的细粒度分类。

2026-03-25math.COmath.LO

Reverse mathematics of the finite downwards closed subsets of $\mathbb{N}^k$ ordered by inclusion and adjacent Ramsey for fixed dimension

We show that the well-partial orderedness of the finite downwards closed subsets of $\mathbb{N}^k$ ,ordered by inclusion, is equivalent to the well-foundedness of the ordinal $ω^{ω^ω}$. This was conjectured to be the case by Hatzikiriakou and Simpson. Since we use Friedman's adjacent Ramsey theorem for fixed dimensions in the upper bound, we also give a treatment of the reverse mathematical status of that theorem.

2017-10-04math.LO

On the indecomposability of $ω^n$

We study the reverse mathematics of pigeonhole principles for finite powers of the ordinal $ω$. Four natural formulations are presented and their relative strengths are compared. In the analysis of the pigeonhole principle for $ω^2$, we uncover two weak variants of Ramsey's Theorem for pairs.

2011-11-06math.LO

Ramsey定理在着色相对大集合时的强度

The strength of Ramsey Theorem for coloring relatively large sets

本文刻画了“恰好大”集合双色着色Ramsey型定理的计算内容与证明论强度，证明其在可计算数学上等价于$ω$ Turing跳转闭包，并扩展了Ramsey定理强度的现有认知。

2012-04-05cs.LOmath.COmath.LO