Covering the Baire space by families which are not finitely dominating
Logic
2010-11-02 v4 Combinatorics
General Topology
Abstract
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 w^w/U is greater than max{b,g}. The model is constructed by oracle chain condition forcing, to which we give a self-contained introduction.
Keywords
Cite
@article{arxiv.math/0407487,
title = {Covering the Baire space by families which are not finitely dominating},
author = {Heike Mildenberger and Saharon Shelah and Boaz Tsaban},
journal= {arXiv preprint arXiv:math/0407487},
year = {2010}
}
Comments
Small updates