Models in Which \( \mathfrak{p} = \mathfrak{c} \)
摘要
In this chapter we shall consider models of ZFC in which \( \mathfrak{p} = \mathfrak{c} \) . Since ω1 ≤ \( \mathfrak{p} \) (by THEOREM 9.0) and \( \mathfrak{p} \) ≤ \( \mathfrak{c} \) , we have \( \mathfrak{p} = \mathfrak{c} \) in all models in which \( \mathfrak{c} \) = ω1, but of course, these are not the models we are interested in.