Localizations of infinite subsets of \(\omega\) (Q1354345)

The authors are interested in properties of extensions of models of ZFC which ``measure'' the distance between the reals in the ground model and the reals in the extension. The authors observe the following: if \(V\subseteq V'\) are transitive models of ZFC, then (1) \(V\cap\omega^\omega\) is unbounded in \(V'\cap\omega^\omega\) if and only if for every set \(X\in [\omega]^\omega\cap V'\) there exists a set \(Y\in [\omega]^\omega\cap V\) such that infinitely often between two successive points of \(Y\) there are at least two points of \(X\) and (2) \(V\cap\omega^\omega\) is dominating in \(V'\cap\omega^\omega\) if and only if for every set \(X\in [\omega]^\omega\cap V'\) there exists a set \(Y\in [\omega]^\omega\cap V\) such that for all but finitely many pairs of two successive points of \(Y\) there are at least two points of \(X\) between them. Much of the paper concerns attempts to replace the quantifier infinitely often by a stronger one, but one still weaker than for all but finitely many. The final section derives corollaries about certain cardinal invariants from earlier results.