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

DOI10.1017/JSL.2015.10zbMATH Open1436.03244arXiv1406.1291OpenAlexW2962793687MaRDI QIDQ2805036FDOQ2805036

Authors: Natasha Dobrinen 

Publication date: 9 May 2016

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

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$.

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

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

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)

Cites Work

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

Cited In (13)

• A new class of Ramsey-classification theorems and their applications in the Tukey theory of ultrafilters, Part 2
• 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
• Banach Spaces from Barriers in High Dimensional Ellentuck Spaces
• Maximal almost disjoint families, determinacy, and forcing
• Ideal approach to convergence in functional spaces
• CLASSES OF BARREN EXTENSIONS
• Local Ramsey theory: an abstract approach
• Parametrizing by the Ellentuck space
• Creature forcing and topological Ramsey spaces
• Partitions and conservativity
• Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces

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)