CLASSES OF BARREN EXTENSIONS

DOI10.1017/JSL.2020.40zbMATH Open1487.03056arXiv1911.06936OpenAlexW3092294452MaRDI QIDQ5000257FDOQ5000257

Authors: Natasha Dobrinen, Dan Hathaway 

Publication date: 12 July 2021

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

Abstract: Henle, Mathias, and Woodin proved that, provided that $omegaightarrow(omega{)}^{omega}$ holds in a model $M$ of ZF, then forcing with $([omega{]}^{omega},subsete{q}^{\ast })$ over $M$ adds no new sets of ordinals, thus earning the name a "barren" extension. Moreover, under an additional assumption, they proved that this generic extension preserves all strong partition cardinals. This forcing thus produces a model $M[mathcalU]$, where $mathcalU$ is a Ramsey ultrafilter, with many properties of the original model $M$. This begged the question of how important the Ramseyness of $mathcalU$ is for these results. In this paper, we show that several classes of $sigma$-closed forcings which generate non-Ramsey ultrafilters have the same properties. Such ultrafilters include Milliken-Taylor ultrafilters, a class of rapid p-points of Laflamme, $k$-arrow p-points of Baumgartner and Taylor, and extensions to a class of ultrafilters constructed by Dobrinen, Mijares and Trujillo. Furthermore, the class of Boolean algebras $mathcalP(omeg{a}^{alpha})/mathrm{Fin}^{otimesalpha}$, $2lealpha<omeg{a}_1$, forcing non-p-points also produce barren extensions.

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

Recommendations

• Adding ultrafilters by definable quotients
• There are no P-points in Silver extensions
• Inner Models and Ultrafilters In L(ℝ)
• Rapid interval P-points
• Martin's axiom and the transitivity of \(P_{\mathfrak c}\)-points
• Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems
• Infinitary Partition Properties of Sums of Selective Ultrafilters
• On strong \(P\)-points
• P-points and q-points over a measurable cardinal
• Selective ultrafilters on FIN

zbMATH Keywords

Ramsey theoryforcingultrafiltersmodels without full choice

Mathematics Subject Classification ID

Partition relations (03E02) Other combinatorial set theory (03E05) Ramsey theory (05D10) Model theory of denumerable and separable structures (03C15) Axiom of choice and related propositions (03E25)

Cites Work

• Ramsey classes of set systems
• Partitions of finite relational and set systems
• Forcing with filters and complete combinatorics
• Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of \(p\)-points
• A new proof that analytic sets are Ramsey
• Happy families
• Partition Theorems and Ultrafilters
• 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
• Title not available (Why is that?)
• Borel sets and Ramsey's theorem
• Adding ultrafilters by definable quotients
• Forcing with copies of countable ordinals
• On sequences generic in the sense of Prikry
• Introduction to Ramsey space
• Perfect-set properties in \(L(\mathbb{R})[U]\)
• High dimensional Ellentuck spaces and initial chains in the Tukey structure of non-p-points
• Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems
• Creature forcing and topological Ramsey spaces
• THE NEXT BEST THING TO A P-POINT
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ramsey methods in analysis
• The Rudin-Keisler Ordering of P-Points
• Title not available (Why is that?)
• Title not available (Why is that?)
• Suitable extender models. I
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• Some applications of model theory in set theory
• On Milliken-Taylor ultrafilters
• Determinateness and Partitions
• Preserved under Sacks forcing again?
• Selective ultrafilters on FIN
• Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces
• Topological Ramsey Spaces Dense in Forcings
• Local Ramsey theory: an abstract approach

Cited In (4)

• Ramseyan ultrafilters
• Title not available (Why is that?)
• Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces
• Anti-classification results for groups acting freely on the line

This page was built for publication: CLASSES OF BARREN EXTENSIONS

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