The shelahP-point independence theorem

In this paper, we present S. Shelah's example of a model of set theory in which there are noP-points in βN/N. This settles the famous open question: “Is ‘ZFC+there are noP-points in βN/N’ consistent?”