{"title":"Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces","authors":"Natasha Dobrinen, Sonia Navarro Flores","doi":"10.1007/s00153-022-00823-9","DOIUrl":null,"url":null,"abstract":"<div><p>This paper investigates properties of <span>\\(\\sigma \\)</span>-closed forcings which generate ultrafilters satisfying weak partition relations. The Ramsey degree of an ultrafilter <span>\\({\\mathcal {U}}\\)</span> for <i>n</i>-tuples, denoted <span>\\(t({\\mathcal {U}},n)\\)</span>, is the smallest number <i>t</i> such that given any <span>\\(l\\ge 2\\)</span> and coloring <span>\\(c:[\\omega ]^n\\rightarrow l\\)</span>, there is a member <span>\\(X\\in {\\mathcal {U}}\\)</span> such that the restriction of <i>c</i> to <span>\\([X]^n\\)</span> has no more than <i>t</i> colors. Many well-known <span>\\(\\sigma \\)</span>-closed forcings are known to generate ultrafilters with finite Ramsey degrees, but finding the precise degrees can sometimes prove elusive or quite involved, at best. In this paper, we utilize methods of topological Ramsey spaces to calculate Ramsey degrees of several classes of ultrafilters generated by <span>\\(\\sigma \\)</span>-closed forcings. These include a hierarchy of forcings due to Laflamme which generate weakly Ramsey and weaker rapid p-points, forcings of Baumgartner and Taylor and of Blass and generalizations, and the collection of non-p-points generated by the forcings <span>\\({\\mathcal {P}}(\\omega ^k)/\\mathrm {Fin}^{\\otimes k}\\)</span>. We provide a general approach to calculating the Ramsey degrees of these ultrafilters, obtaining new results as well as streamlined proofs of previously known results. In the second half of the paper, we calculate pseudointersection and tower numbers for these <span>\\(\\sigma \\)</span>-closed forcings and their relationships with the classical pseudointersection number <span>\\({\\mathfrak {p}}\\)</span>.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3000,"publicationDate":"2022-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00153-022-00823-9.pdf","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Archive for Mathematical Logic","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s00153-022-00823-9","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Arts and Humanities","Score":null,"Total":0}
引用次数: 1
Abstract
This paper investigates properties of \(\sigma \)-closed forcings which generate ultrafilters satisfying weak partition relations. The Ramsey degree of an ultrafilter \({\mathcal {U}}\) for n-tuples, denoted \(t({\mathcal {U}},n)\), is the smallest number t such that given any \(l\ge 2\) and coloring \(c:[\omega ]^n\rightarrow l\), there is a member \(X\in {\mathcal {U}}\) such that the restriction of c to \([X]^n\) has no more than t colors. Many well-known \(\sigma \)-closed forcings are known to generate ultrafilters with finite Ramsey degrees, but finding the precise degrees can sometimes prove elusive or quite involved, at best. In this paper, we utilize methods of topological Ramsey spaces to calculate Ramsey degrees of several classes of ultrafilters generated by \(\sigma \)-closed forcings. These include a hierarchy of forcings due to Laflamme which generate weakly Ramsey and weaker rapid p-points, forcings of Baumgartner and Taylor and of Blass and generalizations, and the collection of non-p-points generated by the forcings \({\mathcal {P}}(\omega ^k)/\mathrm {Fin}^{\otimes k}\). We provide a general approach to calculating the Ramsey degrees of these ultrafilters, obtaining new results as well as streamlined proofs of previously known results. In the second half of the paper, we calculate pseudointersection and tower numbers for these \(\sigma \)-closed forcings and their relationships with the classical pseudointersection number \({\mathfrak {p}}\).
期刊介绍:
The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or philosophy, as long as the methods of mathematical logic play a significant role. The journal therefore addresses logicians and mathematicians, computer scientists, and philosophers who are interested in the applications of mathematical logic in their own field, as well as its interactions with other areas of research.