CLASSES OF BARREN EXTENSIONS

DOI10.1017/JSL.2020.40MaRDI QIDQ5000257zbMATH OpenOpenAlexFDO

Authors Natasha Dobrinen, Dan Hathaway

Publication date 12 July 2021

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

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)

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.

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

Cites work

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

Cited in

(4)

• Ramseyan ultrafilters
• scientific article; zbMATH DE number 3954895 (Why is no real title available?)
• 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)