MODELS OF TRANSFINITE REDUCTIONS