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

We introduce the notion of ${\cal C}$-system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develop the theory of extenders and towers in a more general and concise way. In this framework we investigate the topic of definability of generic large cardinals properties.

Experiments were carried out to investigate the effect of five extenders (sucrose, glucose, fructose, KCl and a saline carp sperm extender) and two cryoprotectants (dimethyl-sulfoxide (DMSO) and methanol) on the cryopreservation of common carp sperm. Freezing of sperm using glucose extender and methanol as cryoprotectant resulted in the highest post-thaw motility, fertilization as well as hatching rates (63 ± 9%, 74 ± 15% and 67 ± 17% vs. 87 ± 5%, 84 ± 14% and 69 ± 14% using fresh sperm, respectively). In general, sugar-based extenders combined with methanol as cryoprotectant yielded higher motility, fertilization and hatching rates than ionic extenders in combination with DMSO. The jelly-like agglutination observed after thawing in samples frozen with sugar-based extenders did not reduce fertilization and hatching rates. Frozen–thawed sperm samples were able to successfully fertilize 10 g (8000) eggs.