Mathematics – Logic
Scientific paper
2004-07-28
Annals of Pure and Applied Logic 140 (2006), 60--71
Mathematics
Logic
Small updates
Scientific paper
10.1016/j.apal.2005.09.008
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.
Mildenberger Heike
Shelah Saharon
Tsaban Boaz
No associations
LandOfFree
Covering the Baire space by families which are not finitely dominating does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Covering the Baire space by families which are not finitely dominating, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Covering the Baire space by families which are not finitely dominating will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-623229