Sacks Forcing
摘要
In PROPOSITION 14.9 we have shown that MA(countable) implies the existence of \( 2^{\mathfrak{c}} \) pairwise non-isomorphic Ramsey ultrafilters.