We often find ourselves needing to force assertions of the general form "for every x there exists y...." where typically x and y are subsets of some regular cardinal κ

We will consider three general cases (of increasing difficulty)

• κ is ω₁
• κ is the successor of an uncountable regular cardinal
• κ is the successor of a singular cardinal