We show that a Woodin cardinal is necessary for the Extender Algebra to be complete. Our proof is relatively simple and does not use fine structure.

Oxidative stress during freezing-thawing reduces sperm motility, viability, membrane functions and antioxidant capacity. Thymus vulgaris has antioxidant properties due to phenolic compounds. The purpose of current study was to evaluate the effect of Thymus vulgaris extract as a natural antioxidant on post-thawed Moghani ram sperm quality. Semen samples were collected twice a week from four rams...

The present study was undertaken to investigate the effect of various levels of vitamin B12 in Tris extender on semen quality of Dallagh rams following the cooling and freeze/thawing process. Semen was collected from six healthy and mature rams with an average body weight of 60.0 ± 5.0 Kg using an electro ejaculator. High quality samples were mixed and diluted in Tris extender supplemented with...

This study was conducted to examine if L-carnitine supplementation in the Tris-egg-yolk extender can improve the motility characteristics, membrane integrity, and in vitro fertilization potential after cryopreservation of ejaculated bovine spermatozoa. It was carried out on January to May 2013 at the University of Wisconsin-Madison. L-carnitine at final concentrations of 0.5, 1, 10, and 30mM we...

Camels represent part of the Arab heritage. The interest in developing assisted reproductive technologies and cryobanking for the conservation of animal genetic resources has recently increased. However, semen collections in camelids present many problems as sitting position during copulation, slow ejaculation and difficult animal handling. In these cases epididymal sperm from slaughtered or re...

Mammalian spermatozoa experience osmotic stress when the glycerol is added to the cells before freezing and removal from the cells after thawing. To minimize osmotic damage, alternative cryoprotectants, having lower molecular weights and greater membrane permeability than glycerol, were evaluated to determine their effectiveness for cryopreserving bull spermatozoa. The primary goal of this stud...

The aim of the experiment was to determine the effect of potential antioxidants (adenosine, L-cysteine hydrochloride, ascorbic acid, magnesium fumarate and prolactin) supplementing the Biosolwens extender on semen survival time and sperm chromatin structure. The semen motility was examined every day and the susceptibility of sperm chromatin to denaturation was evaluated on collection day and da...

Type I modular polyketide synthases assemble diverse bioactive natural products. Such multienzymes typically use malonyl and methylmalonyl-CoA building blocks for polyketide chain assembly. However, in several cases more exotic alkylmalonyl-CoA extender units are also known to be incorporated. In all examples studied to date, such unusual extender units are biosynthesized via reductive carboxyl...

Universal One-Way Hash Functions (UOWHFs) may be used in place of collision-resistant functions in many public-key cryptographic applications. At Asiacrypt 2004, Hong, Preneel and Lee introduced the stronger security notion of higher order UOWHFs to allow construction of long-input UOWHFs using the Merkle-Damg̊ard domain extender. However, they did not provide any provably secure constructions f...

This study was carried out to determine if a new antibiotic combination comprising of gentamycin, tylosin and linco-spectin (GTLS) in extender is suitable for improvement in fertility of liquid buffalo bull semen through artificial insemination (AI). Two consecutive ejaculates per week (4 weeks) were collected from three Nili-Ravi buffalo bulls of known fertility by using artificial vagina (42°...