IDEALS OVER UNCOUNTABLE SETS
Theorem 7.2.1. Assume that K-. carries a nonregular ultrafilter. Then
a) If N, 2 u N then 2 = 2 .
b) If N is a strong limit then 2 K .
Under the same assumption, Benda and Ketonen proved in  that 2 = H
implies 2 = tf .
Some of the results presented in this paper were announced in .