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

DOI10.1090/S0002-9947-2014-06122-9MaRDI QIDQ5247014zbMATH OpenOpenAlexFDO

Authors Natasha Dobrinen, Stevo Todorčević

Publication date 22 April 2015

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

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

zbMATH Keywords

Pudlak-Rödl theoremTukey classification problem

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 Tukey classification problems and building on work in cite{Dobrinen/Todorcevic11}, we develop a new hierarchy of topological Ramsey spaces $mathcal{R}_{alpha}$, $alpha<omeg{a}_1$. These spaces form a natural hierarchy of complexity, $mathcal{R}_0$ being the Ellentuck space, and for each $alpha<omeg{a}_1$, $mathcal{R}_{alpha+1}$ coming immediately after $mathcal{R}_{alpha}$ in complexity. Associated with each $mathcal{R}_{alpha}$ is an ultrafilter $mathcal{U}_{alpha}$, which is Ramsey for $mathcal{R}_{alpha}$, and in particular, is a rapid p-point satisfying certain partition properties. We prove Ramsey-classification theorems for equivalence relations on fronts on $mathcal{R}_{alpha}$, $2lealpha<omeg{a}_1$. These are analogous to the Pudlak-Rodl Theorem canonizing equivalence relations on barriers on the Ellentuck space. We then apply our Ramsey-classification theorems to completely classify all Rudin-Keisler equivalence classes of ultrafilters which are Tukey reducible to $mathcal{U}_{alpha}$, for each $2lealpha<omeg{a}_1$: Every ultrafilter which is Tukey reducible to $mathcal{U}_{alpha}$ is isomorphic to a countable iteration of Fubini products of ultrafilters from among a fixed countable collection of rapid p-points. Moreover, we show that the Tukey types of nonprincipal ultrafilters Tukey reducible to $mathcal{U}_{alpha}$ form a descending chain of order type $alpha+1$.

Recommendations

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

Cites work

• A Combinatorial Theorem
• A new class of Ramsey-classification theorems and their application in the Tukey theory of ultrafilters. I
• A new proof that analytic sets are Ramsey
• A notion of selective ultrafilter corresponding to topological Ramsey spaces
• Cofinal types of ultrafilters
• Forcing with filters and complete combinatorics
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• High dimensional Ellentuck spaces and initial chains in the Tukey structure of non-p-points
• Introduction to Ramsey space
• Partition theorems for systems of finite subsets of integers
• The Rudin-Keisler Ordering of P-Points
• Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of \(p\)-points
• Tukey types of ultrafilters
• Ultrafilter Mappings and Their Dedekind Cuts

Cited in

(26)

• PCF theory and the Tukey spectrum
• Local Ramsey theory: an abstract approach
• Topological Ramsey spaces and metrically Baire sets
• P-hierarchy on βω
• 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
• Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems
• A new class of Ramsey-classification theorems and their application in the Tukey theory of ultrafilters. I
• Tukey types of ultrafilters
• Selective ultrafilters on FIN
• 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
• Tukey reduction among analytic directed orders
• Continuous and other finitely generated canonical cofinal maps on ultrafilters
• Banach spaces from barriers in high dimensional Ellentuck spaces
• 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 ω₂
• Triangular Ramsey numbers
• 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 applications in the Tukey theory of ultrafilters. II

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