  In this paper, we answer a question asked in "A minimal Prikry type forcing
for singularizing a measurable cardinal" regarding a Mathias criteria for
Tree-Prikry forcing. Also we will investigate Prikry forcing using various
filters. For completeness and self inclusion reasons, we will give proofs of
many known theorems.
