Universal forcing notions and ideals

Our main result states that a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determined by universality parameters. We also give some results concerning cardinal characteristics of the σ-ideals determined by those universality parameters. Both authors acknowledge support from the United States-Israel Binational Science Foundation (Grant no. 2002323). Also, we would like to thank the referee for valuable comments and suggestions concerning the exposition of the paper. This is publication 845 of the second author     

Strongly meager sets of real numbers and tree forcing notions

We show that every strongly meager set has the - and the - property.

     

Semi‐proper forcing,remarkable cardinals,and Bounded Martin's Maximum

We show that L(?) absoluteness for semi‐proper forcings is equiconsistent with the existence of a remarkable cardinal, and hence by [6] with L(?) absoluteness for proper forcings. By [7], L(?) absoluteness for stationary set preserving forcings gives an inner model with a strong cardinal. By [3], the Bounded Semi‐Proper Forcing Axiom (BSPFA) is equiconsistent with the Bounded Proper Forcing Axiom (BPFA), which in turn is equiconsistent with a reflecting cardinal. We show that Bounded Martin's Maximum (BMM) is much stronger than BSPFA in that if BMM holds, then for every X ∈ V , X^# exists. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Special subsets of the reals and tree forcing notions

We study relationships between classes of special subsets of the reals (e.g. meager-additive sets, -sets, -sets, -sets) and the ideals related to the forcing notions of Laver, Mathias, Miller and Silver.

     

Small subsets of the reals and tree forcing notions

We discuss the question of which properties of smallness in the sense of measure and category (e.g. being a universally null, perfectly meager or strongly null set) imply the properties of smallness related to some tree forcing notions (e.g. the properties of being Laver-null or Miller-null).

     

On some ‘duality’ of the Nikodym property and the Hahn property

Drewnowski and Paúl proved in [L. Drewnowski, P.J. Paúl, The Nikodým property for ideals of sets defined by matrix summability methods, Rev. R. Acad. Cienc. Exactas Fís. Nat. (Esp.) 94 (2000) 485-503] that for any strongly nonatomic submeasure η on the power set P(N) of N the ideal Z(η)={N∈P(N)|η(N)=0} has the Nikodym property (NP); in particular, this result applies to densities dA defined by strongly regular matrices A. Grahame Bennett and the authors stated in [G. Bennett, J. Boos, T. Leiger, Sequences of 0's and 1's, Studia Math. 149 (2002) 75-99] that the strong null domain ₀|A| of any strongly regular matrix A has the Hahn property (HP). Moreover, Stuart and Abraham [C.E. Stuart, P. Abraham, Generalizations of the Nikodym boundedness and Vitali-Hahn-Saks theorems, J. Math. Anal. Appl. 300 (2) (2004) 351-361] pointed out that the said results are in some sense dual and that the last one follows from the first one by considering the density dA (defined by A) as submeasure on P(N) and the ideal Z(dA) as well by identifying P(N) with the set χ of sequences of 0's and 1's. In this paper we aim at a better understanding of the intimated duality and at a characterization of those members of special classes of matrices A such that Z(dA) has NP (equivalently, ₀|A| has HP).     

‘Duality’ of the Nikodym property and the Hahn property: Densities defined by sequences of matrices

The authors investigated in Boos and Leiger (2008) [5] the ‘duality’ of the Nikodym property (NP) of the set of all null sets of the density defined by any nonnegative matrix and the Hahn property (HP) of the strong null domain of it. In this paper, the investigation of the intimated duality is continued by considering densities defined by sequences of nonnegative matrices. These considerations are motivated by the known result that the ideal of the null sets of the uniform density has NP. In this context the general notion of S-convergence of double sequences (cf. Drewnowski, 2002 [8]) containing Pringsheim convergence, Hardy convergence and uniform convergence of double sequences is used.