Forcing is a method used to extend a transitive model M by adjoining a new set G in
order to obtain a larger transitive model M[G]. Our choice of partial order, or notion of
forcing, determines what is true in M[G]. We will consider the forcing introduced by Paul
Cohen in proving the independence of the Continuum Hypothesis. The Diamond Principle,
introduced by Jensen in 1972, can be thought of as a strengthening of the Continuum
Hypothesis. From a diamond sequence of length k we can read off all of the subsets of k.
We are interested in using an iteration involving Radin forcing in order to obtain a model
of the failure of Diamond.