On Tree Ideals

DOI10.2307/2161150zbMATH Open0823.03027arXivmath/9311212OpenAlexW2953381850MaRDI QIDQ4845859FDOQ4845859

Authors: Martin Goldstern, Miroslav Repický, S. Shelah, Otmar Spinas 

Publication date: 17 September 1995

Abstract: Let l^0 and m^0 be the ideals associated with Laver and Miller forcing, respectively. We show that add (l^0) < cov(l^0) and add (m^0) < cov(m^0) are consistent. We also show that both Laver and Miller forcing collapse the continuum to a cardinal <= h .

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

Recommendations

• Generic trees
• Sacks forcing, Laver forcing, and Martin's axiom
• scientific article; zbMATH DE number 2204758
• Cofinalities of Marczewski-like ideals
• Combinatorics on ideals and forcing with trees

zbMATH Keywords

consistencyMiller forcingLaver forcingtree forcingtree ideals

Mathematics Subject Classification ID

Consistency and independence results (03E35) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Continuum hypothesis and Martin's axiom (03E50)

Cites Work

• Sacks forcing, Laver forcing, and Martin's axiom
• The space of ultrafilters on N covered by nowhere dense sets
• Iterated perfect-set forcing
• On a Notion of Smallness for Subsets of the Baire Space
• On the consistency of Borel's conjecture
• Title not available (Why is that?)
• The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)
• Towers on Trees
• The Cichoń diagram
• On completely Ramsey sets

Cited In (27)

• Strongly unbounded and strongly dominating sets of reals generalized
• Proper products
• Nonmeasurable sets and unions with respect to tree ideals
• Generic trees
• Trees and valuation rings
• Title not available (Why is that?)
• Silver trees and Cohen reals
• Additivity of the two-dimensional Miller ideal
• Laver trees in the generalized Baire space
• Sacks forcing, Laver forcing, and Martin's axiom
• Cofinalities of Marczewski-like ideals
• Forcing indestructibility of MAD families
• A Sacks amoeba preserving distributivity of $\mathcal {P}(\omega )/\mathrm {fin}$
• Newton trees for ideals in two variables and applications
• Cofinality of the Laver ideal
• On the ideal \((v^{0})\)
• Strongly dominating sets of reals
• Different cofinalities of tree ideals
• Lebesgue's density theorem and definable selectors for ideals
• Families of sets with nonmeasurable unions with respect to ideals defined by trees
• Addendum to: ``On Kuratowski partitions in the Marczewski and Laver structures and Ellentuck topology
• Filter-Laver measurability
• Ultrafilters on 𝜔-their ideals and their cardinal characteristics
• Antichains of perfect and splitting trees
• No Tukey reduction of Lebesgue null to Silver null sets
• Combinatorics on ideals and forcing with trees
• Towers on Trees

This page was built for publication: On Tree Ideals

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