  We consider here Easton support iterations of Prikry type forcing notions.
New ways of constructing normal ultrafilters in extensions are presented. It
turns out that, in contrast with other supports, seemingly unrelated measures
or extenders can be involved here.

Logic