This forcing is used to prove the independence of the number of Ramsey ultrafilters from . We will give a brief overview of the results discussed in Halbeisen’s book.  To be precise: Theorem: Let be any cardinal. Then there is a model of  with exactly Ramsey ultrafilters. The idea behind the proof is to start with … Continue reading Shelah Product Tree Forcing