β ℕ Revisited

We have obtained two results since leaving Chapter 3 which make this return to βℕ possible. The first of these was Corollary 4.30 in which we found, under the assumption of the Continuum Hypothesis, that ℕ* contains a dense subset of 2C P-points. The second was Corollary 6.30 in which we saw that no point of ℕ* has its own type as a relative type with respect to any copy of ℕ contained in ℕ*. Here we will make use of these two properties of ℕ* to continue the investigation of βℕ and especially of ℕ*.