Nice ℵ1 generated non‐P‐points, Part I

Abstract

AbstractWe 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.