Generalized Prikry forcing and iteration of generic ultrapowers

摘要

It is known that there is a close relation between Prikry forcing and the iteration of ultrapowers: If U is a normal ultrafilter on a measurable cardinal and Mn, jm,n | m n is the iteration of ultrapowers of V by U, then the sequence of critical points j0,n(k) | n w is a Prikry generic sequence over M. In this paper we generalize this for normal precipitous filters.