A new class of Ramsey-classification theorems and their application in the Tukey theory of ultrafilters. I

DOI10.1090/S0002-9947-2013-05844-8zbMATH Open1283.05260arXiv1111.6705OpenAlexW4253715132MaRDI QIDQ5401736FDOQ5401736

Authors: Natasha Dobrinen, Stevo Todorčević 

Publication date: 12 March 2014

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Abstract: 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-Keisler equivalence classes of ultrafilters which are Tukey reducible to $mathcal{U}_1$: Every ultrafilter which is Tukey reducible to $mathcal{U}_1$ is isomorphic to a countable iteration of Fubini products of ultrafilters from among a fixed countable collection of ultrafilters. Moreover, we show that there is exactly one Tukey type of nonprincipal ultrafilters strictly below that of $mathcal{U}_1$, namely the Tukey type a Ramsey ultrafilter.

Full work available at URL: https://arxiv.org/abs/1111.6705

Recommendations

• A new class of Ramsey-classification theorems and their applications in the Tukey theory of ultrafilters. II
• Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of \(p\)-points
• High dimensional Ellentuck spaces and initial chains in the Tukey structure of non-p-points
• Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems
• Survey on the Tukey theory of ultrafilters

Mathematics Subject Classification ID

Partial orders, general (06A06) Partition relations (03E02) Other combinatorial set theory (03E05) Ramsey theory (05D10) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80) Ordered sets and their cofinalities; pcf theory (03E04)

Cites Work

• Title not available (Why is that?)
• Forcing with filters and complete combinatorics
• A new proof that analytic sets are Ramsey
• Semiselective coideals
• A new class of Ramsey-classification theorems and their applications in the Tukey theory of ultrafilters. II
• A notion of selective ultrafilter corresponding to topological Ramsey spaces
• A Combinatorial Theorem
• Introduction to Ramsey space
• Partition theorems for systems of finite subsets of integers
• Title not available (Why is that?)
• Cofinal types of ultrafilters
• Tukey types of ultrafilters
• Survey on the Tukey theory of ultrafilters
• The Category of Cofinal Types. II
• Ultrafilter Mappings and Their Dedekind Cuts
• Canonical forms of Borel-measurable mappings \(\Delta: [\omega]^{\omega}\to {\mathbb{R}}\)

Cited In (24)

• Selective but not Ramsey
• High dimensional Ellentuck spaces and initial chains in the Tukey structure of non-p-points
• Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems
• PCF theory and the Tukey spectrum
• The Tukey order and subsets of \(\omega_1\)
• Spectra of Tukey types of ultrafilters on Boolean algebras
• Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of \(p\)-points
• Continuous and other finitely generated canonical cofinal maps on ultrafilters
• The Tukey order on compact subsets of separable metric spaces
• A new class of Ramsey-classification theorems and their applications in the Tukey theory of ultrafilters. II
• CLASSES OF BARREN EXTENSIONS
• Local Ramsey theory: an abstract approach
• A long chain of P-points
• On embedding certain partial orders into the P-points under Rudin-Keisler and Tukey reducibility
• Parametrizing by the Ellentuck space
• Creature forcing and topological Ramsey spaces
• Ramsey for R1 ultrafilter mappings and their Dedekind cuts
• Survey on the Tukey theory of ultrafilters
• Ideals and their generic ultrafilters
• Cofinal types on ω₂
• Topological Ramsey spaces and metrically Baire sets
• Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces
• Banach spaces from barriers in high dimensional Ellentuck spaces
• Preserved under Sacks forcing again?

This page was built for publication: A new class of Ramsey-classification theorems and their application in the Tukey theory of ultrafilters. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5401736)