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

DOI10.1090/S0002-9947-2013-05844-8MaRDI QIDQ5401736zbMATH OpenOpenAlexFDO

Authors Natasha Dobrinen, Stevo Todorčević

Publication date 12 March 2014

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

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

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)

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.

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

Cites work

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

Cited in

(24)

• PCF theory and the Tukey spectrum
• Local Ramsey theory: an abstract approach
• Topological Ramsey spaces and metrically Baire sets
• Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces
• High dimensional Ellentuck spaces and initial chains in the Tukey structure of non-p-points
• A long chain of P-points
• CLASSES OF BARREN EXTENSIONS
• Ideals and their generic ultrafilters
• Survey on the Tukey theory of ultrafilters
• The Tukey order on compact subsets of separable metric spaces
• Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems
• 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
• Ramsey for R1 ultrafilter mappings and their Dedekind cuts
• Continuous and other finitely generated canonical cofinal maps on ultrafilters
• Banach spaces from barriers in high dimensional Ellentuck spaces
• The Tukey order and subsets of \(\omega_1\)
• 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
• Selective but not Ramsey
• Cofinal types on ω₂
• Spectra of Tukey types of ultrafilters on Boolean algebras
• 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)