Ramsey for R1 ultrafilter mappings and their Dedekind cuts

DOI10.1002/MALQ.201300078zbMATH Open1373.03078arXiv1401.2835OpenAlexW1956764104MaRDI QIDQ2947233FDOQ2947233

Authors: Timothy Trujillo 

Publication date: 22 September 2015

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Abstract: Associated to each ultrafilter $mathcalU$ on $omega$ and each map $p:omegaightarrowomega$ is a Dedekind cut in the ultrapower $omeg{a}^{omega}/p(mathcalU)$. Blass has characterized, under CH, the cuts obtainable when $mathcalU$ is taken to be either a p-point ultrafilter, a weakly-Ramsey ultrafilter or a Ramsey ultrafilter. Dobrinen and Todorcevic have introduced the topological Ramsey space $mathcal{R}_1$. Associated to the space $mathcal{R}_1$ is a notion of Ramsey ultrafilter for $mathcal{R}_1$ generalizing the familiar notion of Ramsey ultrafilter on $omega$. We characterize, under CH, the cuts obtainable when $mathcalU$ is taken to be a Ramsey for $mathcal{R}_1$ ultrafilter and $p$ is taken to be any map. In particular, we show that the only cut obtainable is the standard cut, whose lower half consists of the collection of equivalence classes of constants maps. Forcing with $mathcal{R}_1$ using almost-reduction adjoins an ultrafilter which is Ramsey for $mathcal{R}_1$. For such ultrafilters $mathcal{U}_1$, Dobrinen and Todorcevic have shown that the Rudin-Keisler types of the p-points within the Tukey type of $mathcal{U}_1$ consists of a strictly increasing chain of rapid p-points of order type $omega$. We show that for any Rudin-Keisler mapping between any two p-points within the Tukey type of $mathcal{U}_1$ the only cut obtainable is the standard cut. These results imply existence theorems for special kinds of ultrafilters.

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

Recommendations

• Ramsey ultrafilters and countable-to-one uniformization
• Ramseyan ultrafilters
• Ultrafilters and multidimensional Ramsey theorems
• Ultrafilters and Ramsey theory
• scientific article; zbMATH DE number 4148152
• Ramsey ultrafilters and the reaping number - Con(\({\mathfrak r}<{\mathfrak u}\))
• Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces
• Metrically Ramsey ultrafilters
• Ramsey algebras and the existence of idempotent ultrafilters

zbMATH Keywords

Ramsey ultrafilterDedekind cutp-pointsTukey typeRudin-Keisler types

Mathematics Subject Classification ID

Partition relations (03E02) Other combinatorial set theory (03E05) Ramsey theory (05D10) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80)

Cites Work

• Forcing with filters and complete combinatorics
• On Galvin's lemma and Ramsey spaces
• A new proof that analytic sets are Ramsey
• 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 new class of Ramsey-classification theorems and their application in the Tukey theory of ultrafilters. I
• Ultrafilters on a countable set
• Cofinal types of ultrafilters
• Tukey types of ultrafilters
• Tukey classes of ultrafilters on omega
• Survey on the Tukey theory of ultrafilters
• The Category of Cofinal Types. II
• Ultrafilter Mappings and Their Dedekind Cuts
• Title not available (Why is that?)

Cited In (5)

• Selective but not Ramsey
• Local Ramsey theory: an abstract approach
• Topological Ramsey spaces and metrically Baire sets
• On cuts in ultraproducts of linear orders. II
• Triangular Ramsey numbers

This page was built for publication: Ramsey for R1 ultrafilter mappings and their Dedekind cuts

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