Mathias Forcing
摘要
In this chapter we investigate a forcing notion which is closely related to RAMSEY’S THEOREM 4.0 and to Ramsey ultrafilters (defined in Chapter 11). So, it is not surprising that Ramsey families (also defined in Chapter 11) are involved.