Supercomplete extenders and type 1 mice: Part I

Qi Feng, Ronald B. Jensen. Supercomplete extenders and type 1 mice: Part I. Annals of Pure and Applied Logic, 128(1-3):1-73, 2004. [doi]

Abstract

Abstract is missing.