Characterizing existence of certain ultrafilters (Q2159933)

The paper is devoted to the notion of \(I\)-ultrafilter, where, for an ideal \(I\) on \(\omega\), an \(I\)-\textit{ultrafilter} is an ultrafilter \(U\) on \(\omega\) with the property that for any \(f : \omega \rightarrow \omega\), there is \(A \in U\) with \(f [A] \in I\). In particular conditions are given for the existence of (a) an \(I\)-ultrafilter, (b) an \(I\)-ultrafilter that is not a \(J\)-ultrafilter (where \(J\) is some other ideal on \(\omega\)), (c) of an \(I\)-ultrafilter that is not a P-point (respectively, a Q-point, a selective ulttrafilter), and (d) of a P-point (respectively, Q-point, selective) ultrafilter on \(\omega\) that is not an \(I\)-ultrafilter. Among the tools used in the constructions are games, cardinal invariants, and orders on the collection of all ideals on \(\omega\).