Diamond-sequence forcing
= Diamond-sequence forcing
Conditions are countable successor-length sequences $\langle A_\xi\subseteq\xi\rangle$, ordered by end extension. A countable fusion construction decides a named subset below a fresh limit index and writes that trace at the index inside any named club. The generic sequence satisfies the <diamond principle>.