Canonical Seeds and Prikiry Trees

Applying the seed concept to Prikry tree forcing ℙ μ , I investigate how well ℙ μ preserves the maximality property of ordinary Prikry forcing and prove that ℙ μ , Prikry sequences are maximal exactly when μ admits no non-canonical seeds via a finite iteration. In particular, I conclude that if μ is a strongly normal supercompactness measure, then ℙ μ Prikry sequences are maximal, thereby proving, for a large class of measures, a conjecture of W. Hugh Woodin's.