On ideals of subsets of the plane and on Cohen reals

Abstract

AbstractLet be any proper ideal of subsets of the real line R which contains all finite subsets of R. We define an ideal * ∣ as follows: X ∈ * ∣ if there exists a Borel set B ⊂ R × R such that X ⊂ B and for any x ∈ R we have {y ∈ R: 〈x, y〉 ∈ B} ∈ . We show that there exists a family ⊂ * ∣ of power ω1 such that ⋃ ∉ * ∣ .In the last section we investigate properties of ideals of Lebesgue measure zero sets and meager sets in Cohen extensions of models of set theory.