High dimensional Ellentuck spaces and initial chains in the Tukey structure of non-p-points

DOI10.1017/JSL.2015.10MaRDI QIDQ2805036zbMATH OpenOpenAlexFDO

Authors Natasha Dobrinen

Publication date 9 May 2016

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

Ramsey theoryultrafilterEllentuck spaceTukey type

Mathematics Subject Classification ID

Partition relations (03E02) Other combinatorial set theory (03E05) Consistency and independence results (03E35) Ramsey theory (05D10)

Abstract: The generic ultrafilter $mathcal{G}_2$ forced by $mathcalP(omegaimesomega)/($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 $kge2$, the collection of all nonprincipal ultrafilters Tukey reducible to the generic ultrafilter $mathcal{G}_k$ forced by $mathcalP(omeg{a}^k)/$Fin${}^{otimesk}$ forms a chain of length $k$. Essential to the proof is the extraction of a dense subset $mathcal{E}_k$ from (Fin${}^{otimesk}{)}^{+}$ which we prove to be a topological Ramsey space. The spaces $mathcal{E}_k$, $kge2$, form a hiearchy of high dimensional Ellentuck spaces. New Ramsey-classification theorems for equivalence relations on fronts on $mathcal{E}_k$ are proved, extending the Pudlak-Rodl Theorem for fronts on the Ellentuck space, which are applied to find the Tukey structure below $mathcal{G}_k$.

Recommendations

• A new class of Ramsey-classification theorems and their applications in the Tukey theory of ultrafilters. II
• 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
• Survey on the Tukey theory of ultrafilters
• Tukey types of ultrafilters

Cites work

• Cofinal types of ultrafilters
• Partition theorems for systems of finite subsets of integers

Cited in

(15)

• Local Ramsey theory: an abstract approach
• Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces
• Maximal almost disjoint families, determinacy, and forcing
• CLASSES OF BARREN EXTENSIONS
• 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
• Ideal approach to convergence in functional spaces
• 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
• Continuous and other finitely generated canonical cofinal maps on ultrafilters
• Banach spaces from barriers in high dimensional Ellentuck spaces
• Parametrizing by the Ellentuck space
• Creature forcing and topological Ramsey spaces
• Partitions and conservativity
• Spectra of Tukey types of ultrafilters on Boolean algebras

This page was built for publication: High dimensional Ellentuck spaces and initial chains in the Tukey structure of non-p-points

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