We investigate families of partitions of omega which are related to special coideals, so-called happy families, and give a dual form of Ramsey ultrafilters in terms of partitions. The combinatorial properties of these partition-ultrafilters, which we call Ramseyan ultrafilters, are similar to those of Ramsey ultrafilters. For example it will be shown that dual Mathias forcing restricted to a Ramseyan ultrafilter has the same features as Mathias forcing restricted to a Ramsey ultrafilter. Further we introduce an ordering on the set of partition-filters and consider the dual form of some cardinal characteristics of the continuum.
We study four families of consequences of Ramsey's Theorem from the viewpoint of reverse mathematics. The first, which we call the Achromatic Ramsey Theorem, is from a partition relation introduced by Erdős, Hajnal and Rado: $ω\to [ω]^r_{c,\leq d}$, which asserts that for every $f: [ω]^r \to c$ there exists an infinite $H$ with $|f([H]^r)| \leq d$. The second and third are the Free Set Theorem and the Thin Set Theorem, which were introduced by Harvey Friedman. And the last is the Rainbow Ramsey Theorem. We show that, most theorems from these families are quite weak, i.e., they are strictly wea…
We give a characterizations of Ramsey ultrafilters on $\mathscr P(ω)$ in terms of functions $f:ω^n\toω$ and their ultrafilter extensions. To do this, we prove that for any partition $\mathcal P$ of $[ω]^n$ there is a finite partition~$\mathcal Q$ of $[ω]^{2n}$ such that any set $X\subseteq ω$ that is homogeneous for $\mathcal Q$ is a finite union of sets that are canonical for $\mathcal P$.
Selective ultrafilters are characterized by many equivalent properties, in particular the Ramsey property that every finite colouring of unordered pairs of integers has a homogeneous set in U, and the equivalent property that every function is nondecreasing on some set in U. Natural weakenings of these properties led to the inequivalent notions of weakly Ramsey and of quasi-selective ultrafilter, introduced and studied in [1] and [4], respectively. U is weakly Ramsey if for every finite colouring of unordered pairs of integers there is a set in U whose pairs share only two colours, while U is …
Hindman's Theorem says that every finite coloring of the positive natural numbers has a monochromatic set of finite sums. Ramsey algebras, recently introduced, are structures that satisfy an analogue of Hindman's Theorem. It is an open problem posed by Carlson whether every Ramsey algebra has an idempotent ultrafilter. This paper developes a general framework to study idempotent ultrafilters. Under certain countable setting, the main result roughly says that every nondegenerate Ramsey algebra has a nonprincipal idempotent ultrafilter in some nontrivial countable field of sets. This amounts to …
Associated to each ultrafilter $\mathcal{U}$ on $ω$ and each map $p:ω\rightarrow ω$ is a Dedekind cut in the ultrapower $ω^ω/p( \mathcal{U})$. Blass has characterized, under CH, the cuts obtainable when $\mathcal{U}$ is taken to be either a p-point ultrafilter, a weakly-Ramsey ultrafilter or a Ramsey ultrafilter. Dobrinen and Todorcevic have introduced the topological Ramsey space $\mathcal{R}_{1}$. Associated to the space $\mathcal{R}_{1}$ is a notion of Ramsey ultrafilter for $\mathcal{R}_{1}$ generalizing the familiar notion of Ramsey ultrafilter on $ω$. We characterize, under CH, the cuts …
We compare the strength of polychromatic and monochromatic Ramsey theory in several set-theoretic domains. We show that the rainbow Ramsey theorem does not follow from ZF, nor does the rainbow Ramsey theorem imply Ramsey's theorem over ZF. Extending the classical result of Erd{ö}s and Rado we show that the axiom of choice precludes the natural infinite exponent partition relations for polychromatic Ramsey theory. We introduce rainbow Ramsey ultrafilters, a polychromatic analogue of the usual Ramsey ultrafilters. We investigate the relationship of rainbow Ramsey ultrafilters with various specia…
This paper investigates properties of $σ$-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 $l\ge 2$ and coloring $c:[ω]^n\rightarrow l$, there is a member $X\in\mathcal{U}$ such that the restriction of $c$ to $[X]^n$ has no more than $t$ colors. Many well-known $σ$-closed forcings are known to generate ultrafilters with finite Ramsey degrees, but finding the precise degrees can sometimes prove elusive or quite involved, at …
We introduce the relation of "almost-reduction" in an arbitrary topological Ramsey space R, as a generalization of the relation of "almost-inclusion" on the space of infinite sets of natural numbers (the Ellentuck space). This leads us to a type of ultrafilter U on the set of first approximations of the elements of R which corresponds to the well-known notion of "selective ultrafilter" on N, the set of natural numbers. The relationship turns out to be rather exact in the sense that it permits us to lift several well-known facts about selective ultrafilters on N and the Ellentuck space to the u…
Posgrado Conjunto en Ciencias Matemáticas UNAM-UMSNH（UNAM-UMSNH数学科学联合研究生项目）；Escuela Superior de Fśica y Matemáticas Instituto Politécnico Nacional（国立理工学院高等物理与数学学院）；Centro de Ciencias Matemáticas Universidad Nacional Autónoma de México Campus Morelia（墨西哥国立自治大学莫雷利亚校区数学科学中心）
Motivated by a Tukey classification problem we develop here a new topological Ramsey space $\mathcal{R}_1$ that in its complexity comes immediately after the classical is a natural Ellentuck space \cite{MR0349393}. Associated with $\mathcal{R}_1$ is an ultrafilter $\mathcal{U}_1$ which is weakly Ramsey but not Ramsey. We prove a canonization theorem for equivalence relations on fronts on $\mathcal{R}_1$. This is analogous to the Pudlak-\Rodl\ Theorem canonizing equivalence relations on barriers on the Ellentuck space. We then apply our canonization theorem to completely classify all Rudin-Keis…
Ultrafilters are a tool, originating in mathematical logic and general topology, that has steadily found more and more uses in multiple areas of mathematics, such as combinatorics, dynamics, and algebra, among others. The purpose of this article is to introduce ultrafilters in a friendly manner and present some applications to the branch of combinatorics known as Ramsey theory, culminating with a new ultrafilter-based proof of van der Waerden's theorem.
We give a partial answer to the following question of Dobrinen: For a given topological Ramsey space $\mathcal{R}$, are the notions of selective for $\mathcal{R}$ and Ramsey for $\mathcal{R}$ equivalent? Every topological Ramsey space $\mathcal{R}$ has an associated notion of Ramsey ultrafilter for $\mathcal{R}$ and selective ultrafilter for $\mathcal{R}$ (see \cite{MijaresSelective}). If $\mathcal{R}$ is taken to be the Ellentuck space then the two concepts reduce to the familiar notions of Ramsey and selective ultrafilters on $ω$; so by a well-known result of Kunen the two are equivalent. We…
This paper continues the study of the Ramsey-like large cardinals. Ramsey-like cardinals are defined by generalizing the characterization of Ramsey cardinals via the existence of elementary embeddings. Ultrafilters derived from such embeddings are fully iterable and so it is natural to ask about large cardinal notions asserting the existence of ultrafilters allowing only $α$-many iterations for some countable ordinal $α$. Here we study such $α$-iterable cardinals. We show that the $α$-iterable cardinals form a strict hierarchy for $α\leqω_1$, that they are downward absolute to $L$ for $α<ω_1^L…
Topological Ramsey spaces are spaces which support infinite dimensional Ramsey theory similarly to the Ellentuck space. Each topological Ramsey space is endowed with a partial ordering which can be modified to a $σ$-closed `almost reduction' relation analogously to the partial ordering of `mod finite' on $[ω]^ω$. Such forcings add new ultrafilters satisfying weak partition relations and have complete combinatorics. In cases where a forcing turned out to be equivalent to a topological Ramsey space, the strong Ramsey-theoretic techniques have aided in a fine-tuned analysis of the Rudin-Keisler a…
Motivated by Tukey classification problems and building on work in \cite{Dobrinen/Todorcevic11}, we develop a new hierarchy of topological Ramsey spaces $\mathcal{R}_α$, $α<ω_1$. These spaces form a natural hierarchy of complexity, $\mathcal{R}_0$ being the Ellentuck space, and for each $α<ω_1$, $\mathcal{R}_{α+1}$ coming immediately after $\mathcal{R}_α$ in complexity. Associated with each $\mathcal{R}_α$ is an ultrafilter $\mathcal{U}_α$, which is Ramsey for $\mathcal{R}_α$, and in particular, is a rapid p-point satisfying certain partition properties. We prove Ramsey-classification theorems…
The generic ultrafilter $\mathcal{G}_2$ forced by $\mathcal{P}(ω\timesω)/($Fin$\otimes$Fin) was recently proved to be neither maximum nor minimum in the Tukey order of ultrafilters (in a recent paper of Blass, Dobrinen, and Raghavan), but it was left open where exactly in the Tukey order it lies. We prove that $\mathcal{G}_2$ is in fact Tukey minimal over its projected Ramsey ultrafilter. Furthermore, we prove that for each $k\ge 2$, the collection of all nonprincipal ultrafilters Tukey reducible to the generic ultrafilter $\mathcal{G}_k$ forced by $\mathcal{P}(ω^k)/$Fin$^{\otimes k}$ forms a …
This article surveys results regarding the Tukey theory of ultrafilters on countable base sets. The driving forces for this investigation are Isbell's Problem and the question of how closely related the Rudin-Keisler and Tukey reducibilities are. We review work on the possible structures of cofinal types and conditions which guarantee that an ultrafilter is below the Tukey maximum. The known canonical forms for cofinal maps on ultrafilters are reviewed, as well as their applications to finding which structures embed into the Tukey types of ultrafilters. With the addition of some Ramsey theory,…
We introduce Gowers--Matet forcing with a finite sequence of pairwise non-isomorphic Ramsey ultrafilters over $ω$, and with this forcing we settle the long-standing problem of the spectrum of numbers near-coherence classes. We prove that for any finite $n \geq 1$, there is a forcing extension with exactly $n$ near-coherence classes of ultrafilters. For evaluating the new forcing, we prove a strengthening of Gowers's theorem on colourings of ${\rm Fin}_k$.
Ramsey theory and forcing have a symbiotic relationship. At the RIMS Symposium on Infinite Combinatorics and Forcing Theory in 2016, the author gave three tutorials on Ramsey theory in forcing. The first two tutorials concentrated on forcings which contain dense subsets forming topological Ramsey spaces. These forcings motivated the development of new Ramsey theory, which then was applied to the generic ultrafilters to obtain the precise structure Rudin-Keisler and Tukey orders below such ultrafilters. The content of the first two tutorials has appeared in an expository article submitted to th…
We show a general scheme of Ramsey-type results for partitions of countable sets of finite functions, where "one piece is big" is interpreted in the language originating in creature forcing. The heart of our proofs follows Glazer's proof of the Hindman Theorem, so we prove the existence of idempotent ultrafilters with respect to suitable operation. Then we deduce partition theorems related to creature forcings.
Contents: 1. Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces, I; 2. Frechet-Urysohn fans in free topological groups; 3. Packing index of subsets in Polish groups; 4. Symmetric monochromatic subsets in colorings of the Lobachevsky plane; 5. Structural Ramsey theory of metric spaces and topological dynamics of isometry groups; 6. Distinguishing Number of Countable Homogeneous Relational Structures; 7. Indestructible colourings and rainbow Ramsey theorems; 8. Products of Borel subgroups; 9. Selection theorems and treeabili…
We prove general sufficient and necessary conditions for the partition regularity of Diophantine equations, which extend the classic Rado's Theorem by covering large classes of nonlinear equations. Sufficient conditions are obtained by exploiting algebraic properties in the space of ultrafilters betaN, grounding on combinatorial properties of positive density sets and IP sets. Necessary conditions are proved by a new technique in nonstandard analysis, based on the use of the relation of u-equivalence for the hypernatural numbers *N.
