Powers of the ideal of Lebesgue measure zero sets

Abstract

We investigate the cofinality of the partial order κ of functions from a regular cardinal κ into the ideal of Lebesgue measure zero subsets of R. We show that when add () = κ and the covering lemma holds with respect to an inner model of GCH, then cf (κ) = max{cf(κκ), cf([cf()]κ)}. We also give an example to show that the covering assumption cannot be removed.