Journal of Symbolic Logic 60 (3):705-726 (1995)

We continue the investigation of the Laver ideal ℓ 0 and Miller ideal m 0 started in [GJSp] and [GRShSp]; these are the ideals on the Baire space associated with Laver forcing and Miller forcing. We solve several open problems from these papers. The main result is the construction of models for $t , where add denotes the additivity coefficient of an ideal. For this we construct amoeba forcings for these forcings which do not add Cohen reals. We show that c = ω 2 implies $\operatorname{add}(m^0) \leq \mathfrak{h}$ . We show that b = c, d = c implies $\operatorname{cov}(\ell^0) \leq \mathfrak{h}^+, \operatorname{cov}(m^0) \leq \mathfrak{h}^+$ respectively. Here $\operatorname{cov}$ denotes the covering coefficient. We also show that in the Cohen model $\operatorname{cov}(m^0) holds. Finally we prove that Cohen forcing does not add a superperfect tree of Cohen reals
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275753
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,739
Through your library

References found in this work BETA

Sacks Forcing, Laver Forcing, and Martin's Axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.

Add more references

Citations of this work BETA

Generalized Silver and Miller Measurability.Giorgio Laguzzi - 2015 - Mathematical Logic Quarterly 61 (1-2):91-102.
Some Considerations on Amoeba Forcing Notions.Giorgio Laguzzi - 2014 - Archive for Mathematical Logic 53 (5-6):487-502.
On the Separation of Regularity Properties of the Reals.Giorgio Laguzzi - 2014 - Archive for Mathematical Logic 53 (7-8):731-747.
No Tukey Reduction of Lebesgue Null to Silver Null Sets.Otmar Spinas - 2018 - Journal of Mathematical Logic 18 (2):1850011.

View all 8 citations / Add more citations

Similar books and articles

Unfoldable Cardinals and the GCH.Joel David Hamkins - 2001 - Journal of Symbolic Logic 66 (3):1186-1198.
Cohen Reals From Small Forcings.Janusz Pawlikowski - 2001 - Journal of Symbolic Logic 66 (1):318-324.
Classification and Interpretation.Andreas Baudisch - 1989 - Journal of Symbolic Logic 54 (1):138-159.
Small Forcings and Cohen Reals.Jindřich Zapletal - 1997 - Journal of Symbolic Logic 62 (1):280-284.
Set Theoretic Properties of Loeb Measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
Les Automorphismes d'Un Ensemble Fortement Minimal.Daniel Lascar - 1992 - Journal of Symbolic Logic 57 (1):238-251.
Combinatorics on Ideals and Forcing with Trees.Marcia J. Groszek - 1987 - Journal of Symbolic Logic 52 (3):582-593.


Added to PP index

Total views
199 ( #43,263 of 2,340,279 )

Recent downloads (6 months)
4 ( #188,811 of 2,340,279 )

How can I increase my downloads?


My notes