Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userTopological Ramsey numbers and countable ordinals
164
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We study the topological version of the partition calculus in the setting of countable ordinals. Let $alpha$ and $beta$ be ordinals and let $k$ be a positive integer. We write $betato_{top}(alpha,k)^2$ to mean that, for every red-blue coloring of the collection of 2-sized subsets of $beta$, there is either a red-homogeneous set homeomorphic to $alpha$ or a blue-homogeneous set of size $k$. The least such $beta$ is the topological Ramsey number $R^{top}(alpha,k)$. We prove a topological version of the ErdH{o}s-Milner theorem, namely that $R^{top}(alpha,k)$ is countable whenever $alpha$ is countable. More precisely, we prove that $R^{top}(omega^{omega^beta},k+1)leqomega^{omega^{betacdot k}}$ for all countable ordinals $beta$ and finite $k$. Our proof is modeled on a new easy proof of a weak version of the ErdH{o}s-Milner theorem that may be of independent interest. We also provide more careful upper bounds for certain small values of $alpha$, proving among other results that $R^{top}(omega+1,k+1)=omega^k+1$, $R^{top}(alpha,k)< omega^omega$ whenever $alpha<omega^2$, $R^{top}(omega^2,k)leqomega^omega$ and $R^{top}(omega^2+1,k+2)leqomega^{omegacdot k}+1$ for all finite $k$. Our computations use a variety of techniques, including a topological pigeonhole principle for ordinals, considerations of a tree ordering based on the Cantor normal form of ordinals, and some ultrafilter arguments.
rate research
Read More
We define a collection of topological Ramsey spaces consisting of equivalence relations on $omega$ with the property that the minimal representatives of the equivalence classes alternate according to a fixed partition of $omega$. 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) in order to obtain a dual Ramsey theorem for such ordinals.
This paper investigates properties of $sigma$-closed forcings which generate ultrafilters satisfying weak partition relations. The Ramsey degree of an ultrafilter $mathcal{U}$ for $n$-tuples, denoted $t(mathcal{U},n)$, is the smallest number $t$ such that given any $lge 2$ and coloring $c:[omega]^nrightarrow l$, there is a member $Xinmathcal{U}$ such that the restriction of $c$ to $[X]^n$ has no more than $t$ colors. Many well-known $sigma$-closed forcings are known to generate ultrafilters with finite Ramsey degrees, but finding the precise degrees can sometimes prove elusive or quite involved, at best. In this paper, we utilize methods of topological Ramsey spaces to calculate Ramsey degrees of several classes of ultrafilters generated by $sigma$-closed forcings. These include a hierarchy of forcings due to Laflamme which generate weakly Ramsey and weaker rapid p-points, forcings of Baumgartner and Taylor and of Blass and generalizations, and the collection of non-p-points generated by the forcings $mathcal{P}(omega^k)/mathrm{Fin}^{otimes k}$. We provide a general approach to calculating the Ramsey degrees of these ultrafilters, obtaining new results as well as streamlined proofs of previously known results. In the second half of the paper, we calculate pseudointersection and tower numbers for these $sigma$-closed forcings and their relationships with the classical pseudointersection number $mathfrak{p}$.
Given a cardinal $kappa$ and a sequence $left(alpha_iright)_{iinkappa}$ of ordinals, we determine the least ordinal $beta$ (when one exists) such that the topological partition relation [betarightarrowleft(top,alpha_iright)^1_{iinkappa}] holds, including an independence result for one class of cases. Here the prefix $top$ means that the homogeneous set must have the correct topology rather than the correct order type. The answer is linked to the non-topological pigeonhole principle of Milner and Rado.
We characterize pairs of orthogonal countable ordinals. Two ordinals $alpha$ and $beta$ are orthogonal if there are two linear orders $A$ and $B$ on the same set $V$ with order types $alpha$ and $beta$ respectively such that the only maps preserving both orders are the constant maps and the identity map. We prove that if $alpha$ and $beta$ are two countable ordinals, with $alpha leq beta$, then $alpha$ and $beta$ are orthogonal if and only if either $omega + 1leq alpha$ or $alpha =omega$ and $beta < omega beta$.
We prove that the injectively omega-tree-automatic ordinals are the ordinals smaller than $omega^{omega^omega}$. Then we show that the injectively $omega^n$-automatic ordinals, where $n>0$ is an integer, are the ordinals smaller than $omega^{omega^n}$. This strengthens a recent result of Schlicht and Stephan who considered in [Schlicht-Stephan11] the subclasses of finite word $omega^n$-automatic ordinals. As a by-product we obtain that the hierarchy of injectively $omega^n$-automatic structures, n>0, which was considered in [Finkel-Todorcevic12], is strict.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
