CLASSES OF BARREN EXTENSIONS

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

Dan Hathaway, Natasha Dobrinen

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}^{*})$ 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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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, Part 2
• 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, Part 1
• 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 Spaces (AM-174)
• 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
• Ramsey methods in analysis
• The Rudin-Keisler Ordering of P-Points
• 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 (2)

• Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces
• Anti-classification results for groups acting freely on the line

Recommendations

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

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)