We define a family of non‐principal ultrafilters on which are, in a sense, very far from P‐points. We prove the existence of such ultrafilters under reasonable conditions. In subsequent articles, we intend to prove that such ultrafilters may exist while no P‐point exists. Though our primary motivations came from forcing and independence results, the family of ultrafilters introduced here should be interesting from combinatorial point of view too.

We continue investigations of reasonable ultrafilters on uncountable cardinals defined in previous work by Shelah. We introduce stronger properties of ultrafilters and we show that those properties may be handled in λ-support iterations of reasonably bounding forcing notions. We use this to show that consistently there are reasonable ultrafilters on an inaccessible cardinal λ with generating systems of size less than $2^\lambda$ . We also show how ultrafilters generated by small systems can be killed by forcing notions which have enough (...) reasonable completeness to be iterated with λ-supports. (shrink)