Ju l 2 00 4 COVERING THE BAIRE SPACE BY FAMILIES WHICH ARE NOT FINITELY DOMINATING

@inproceedings{Mildenberger2004JuL2,
  title={Ju l 2 00 4 COVERING THE BAIRE SPACE BY FAMILIES WHICH ARE NOT FINITELY DOMINATING},
  author={Heike Mildenberger and Saharon Shelah and Boaz Tsaban},
  year={2004}
}
It is consistent (relative to ZFC) that the union of max{b, g} many families in the Baire space ω which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter U , the cofinality of the reduced ultrapower ω/U is greater than max{b, g}. The model is constructed by oracle chain condition forcing… CONTINUE READING